diff options
| author | Enrico Tassi | 2015-04-02 14:35:33 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-04-02 14:35:33 +0200 |
| commit | 9335bfaf04dfffa880f461392106f5c3b7f6ce16 (patch) | |
| tree | d8f6cc135df49fc124ca5f672c20c23e5e5ff748 /mathcomp/Makefile | |
| parent | 54d0e3b96cf06b8423e03d982d9c88fb50a21262 (diff) | |
support both coq.8.5beta1 and coq.8.5.dev
Diffstat (limited to 'mathcomp/Makefile')
0 files changed, 0 insertions, 0 deletions