diff options
| author | Enrico Tassi | 2015-04-02 14:35:39 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-04-02 14:35:39 +0200 |
| commit | 22d788f795a60367af19716d190841a2f7f31176 (patch) | |
| tree | d0eeb9d70a728cad1c788b2d651b0c44231f3a9a /mathcomp/Makefile | |
| parent | 9335bfaf04dfffa880f461392106f5c3b7f6ce16 (diff) | |
fix gitignore
Diffstat (limited to 'mathcomp/Makefile')
0 files changed, 0 insertions, 0 deletions