diff options
| author | Enrico Tassi | 2015-11-05 13:29:18 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-11-05 16:26:24 +0100 |
| commit | eb65b7b6f847add79881532b87c1b227c06efd2c (patch) | |
| tree | 37f6dc1cabe0c03194a2e71b2429ec3df48442f3 /mathcomp | |
| parent | 14c9a3a752e8c21b239ff0800089271c5a5ddfb2 (diff) | |
Update .git* conf files to ignore/exclude cruft
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions