diff options
| author | Enrico | 2016-06-01 14:41:40 +0200 |
|---|---|---|
| committer | Enrico | 2016-06-01 14:41:40 +0200 |
| commit | 5be3b636eec8a376828f8600c0f7e7a1a5fc271c (patch) | |
| tree | f09d276327d7e961ab0e7ee0ce78a8ec8abc5657 /mathcomp/Make | |
| parent | aa13fe8081c0d28478e5464bfdb52e44b1df6945 (diff) | |
| parent | 760351d5864d5f98d75f310ace6b37bda7a471a9 (diff) | |
Merge pull request #48 from ejgallego/pp_cleanup_fix
Compatibility with latest Coq trunk.
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions