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/userguide/introduction.rst | |
parent | 8b1f63b10f3915c6b857205d6e5ca908bfc233f9 (diff) | |
parent | 2a383c7244dee510e60752b6d88fb5c68cded1ec (diff) |
Merge "Fix print when push_results_to_db fails"
Diffstat (limited to 'docs/userguide/introduction.rst')
0 files changed, 0 insertions, 0 deletions