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 /.gitignore | |
parent | f552b7e4c03ec46c9ac562c751604466b393d9c8 (diff) |
use user_config_file as well
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions