diff options
| author | jvoisin | 2018-03-29 12:10:32 +0200 |
|---|---|---|
| committer | jvoisin | 2018-03-29 12:10:32 +0200 |
| commit | fa9eb1168029b05a18f21d7a30786c4e21fddc12 (patch) | |
| tree | c3cf6a12c8cfa5b848950d44aee5a0b451e06a00 /src | |
| parent | 39929ce509361ee72746a9b971bdc531fbf0b843 (diff) | |
Clarify the documentation wrt. configuration files
This should close #172
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions