diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-04-16 13:10:29 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-04-16 13:10:29 +0200 |
| commit | 3abb3bc372b69aa17e87f00b22042de02830341e (patch) | |
| tree | 4f1c45f40c30b18e35ffc7e983788ffdbe434ed5 /doc | |
| parent | f552b7e4c03ec46c9ac562c751604466b393d9c8 (diff) | |
use user_config_file as well
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions