diff options
| author | jvoisin | 2018-02-21 12:07:05 +0100 |
|---|---|---|
| committer | jvoisin | 2018-02-21 12:07:05 +0100 |
| commit | 419065b85aa877df67ee9e3e2db3b3fd9727cb90 (patch) | |
| tree | 80ffb6b6589a1dee9a290707e4e7cd49d4dc197b /Makefile | |
| parent | 40fe3d1307b90904a4bf95e8ef7a6368bfa5d0fe (diff) | |
Improve our non-default configuration file path handling
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions