diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-11-10 19:29:29 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-29 11:15:30 +0200 |
commit | 25020ba614315ce143f657511696fb7bf5135b00 (patch) | |
tree | 8fc6032e3b39be4336ed940145fddde5fdc842f2 /configure.ml | |
parent | 132d40ae3168065ed9ca11aa12fc6c96111a1e67 (diff) |
Dead code (xdg_config_dirs).
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions