diff options
| author | Maxime Dénès | 2016-07-01 17:29:50 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-07-01 17:29:50 +0200 |
| commit | 3dffd6632843d9851289ef6cab9430b7e62321fa (patch) | |
| tree | ff7ddd911c3640750454bb1ae8f9f4a9771e659c /mathcomp/_CoqProject | |
| parent | 8a701c74a1fd3d05fefe48e6129c59793c5d611c (diff) | |
Fix compilation after renaming of reduction functions and flags in Coq.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions