diff options
| author | jvoisin | 2017-09-26 17:57:30 +0200 |
|---|---|---|
| committer | jvoisin | 2017-09-26 17:57:30 +0200 |
| commit | 3040b02639bd71dbcd936311546ef9296165aea5 (patch) | |
| tree | 871173e901c04255de595653b8e1dc237a675b51 /Makefile | |
| parent | 3c14dba94e837322e030b19b41654952624cb485 (diff) | |
Update a bit the configuration
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions