diff options
| author | jvoisin | 2015-11-03 17:12:38 +0100 |
|---|---|---|
| committer | jvoisin | 2015-11-03 17:12:38 +0100 |
| commit | d054e313d7d83ec0089f7e0efe6b8a988fe99b3a (patch) | |
| tree | c939c94c9a4e33b59163ea274d09b08003858dc2 /.gitignore | |
| parent | 627c6f4fb042440ccf4a206cc78da164138ae91c (diff) | |
Improves a bit portability
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions