diff options
| author |   Morgan Richomme <morgan.richomme@orange.com> | 2016-08-19 15:41:35 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-08-19 15:41:36 +0000 |
| commit | e248e3c3485b14e216c07eae9e6bb5891973cc1f (patch) | |
| tree | c47ef29c7d9bf575ecfb8054bf05437041149c7f /docs/devguide | |
| parent | 8b1f63b10f3915c6b857205d6e5ca908bfc233f9 (diff) | |
| parent | 2a383c7244dee510e60752b6d88fb5c68cded1ec (diff) | |
Merge "Fix print when push_results_to_db fails"
Diffstat (limited to 'docs/devguide')
0 files changed, 0 insertions, 0 deletions