diff options
| author | Enrico | 2017-10-19 18:22:48 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-19 18:22:48 +0200 |
| commit | 76387e0ca14b449a75467334a3efa2730f471b2f (patch) | |
| tree | 44fe2d45ace3a0cb5ac48ec5ff5098dcd49fb06a /mathcomp | |
| parent | 5466772ab7a59081aed4bcf990bef74e9bd48965 (diff) | |
No more `cm*` files in the installer!
Since they are all in Coq!
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions