diff options
| author | jvoisin | 2018-05-21 22:50:36 +0200 |
|---|---|---|
| committer | jvoisin | 2018-05-21 22:50:36 +0200 |
| commit | d5e00211dbf40454988767036d63325148c0a147 (patch) | |
| tree | 7d55f1902f31dd6bf2ddbccc1855b7140b4ca822 /data | |
| parent | 8cf9aeeb67b9de77434acf9dbd8cc4b3792f8741 (diff) | |
Improve a bit the gitignore file
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions