diff options
| author | Enrico Tassi | 2018-04-20 11:08:59 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 11:08:59 +0200 |
| commit | b78523ff2c3349e98686871891028069edfa7523 (patch) | |
| tree | c3ca48d343ea1562e04c1614ff97abeda5d5619e /mathcomp | |
| parent | ed05182cece6bb3706e09b2ce14af4a41a2e8141 (diff) | |
move etc/ files to the root and remove obsolete ones
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions