diff options
| author | jvoisin | 2018-01-08 10:37:43 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-08 10:38:06 +0100 |
| commit | efcb21ad9788599955f8ca43cfcd21c0403234f5 (patch) | |
| tree | 80d711fcf6a4630baafca4c967e3409bca922432 /doc | |
| parent | 5daf1dcacc194d2fcd7260d1f9b06b3a08a8505f (diff) | |
Add a test to see what happens when no configuration file is given
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions