diff options
| author | Enrico Tassi | 2015-12-12 18:34:15 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-12 18:34:15 +0100 |
| commit | ad931e65a902120e96b9ec47f264015db033135d (patch) | |
| tree | bb15b11f74fe42c0391f42eacdbfb893521b95ef /mathcomp/character | |
| parent | 353eb61703f64f6d0f520720fdb0d08a1cf727c3 (diff) | |
Revert "HACK: work around regression in 8.5"
This reverts commit 006565bdb5b473afff5f834e4b20320bb0a419fd.
since Coq commit c6b75e1b693ab8c7af2efd1b93f04eab248e584c
make this unnecessary
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions