diff options
| author | jvoisin | 2018-07-30 23:00:33 +0200 |
|---|---|---|
| committer | jvoisin | 2018-07-30 23:00:33 +0200 |
| commit | 36c5bad140894d6a535b250a4fdd4e5e443a7f82 (patch) | |
| tree | de2572a630ade154295ff3aea782028452f11e61 /doc/mat.1 | |
| parent | b5a9520a607bd368fdf538c61914e15ba6b1b8e3 (diff) | |
Improve our .gitignore
Diffstat (limited to 'doc/mat.1')
0 files changed, 0 insertions, 0 deletions