diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-15 11:51:11 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-15 11:51:11 +0200 |
| commit | e710306910afc61c9a874e6020bbf35b77ffe4af (patch) | |
| tree | afb3bcd388069adc8d6e73a79969b46fbea79b11 /theories/Compat | |
| parent | c5dabed1c1f33005fe942882ea0fcf008d52784a (diff) | |
Move Fiat to allowed failures.
For now, Fiat still relies on 8.4 compatibility.
Diffstat (limited to 'theories/Compat')
0 files changed, 0 insertions, 0 deletions