diff options
| author | Jason Gross | 2017-06-15 20:42:44 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-07-04 18:56:51 -0400 |
| commit | b3f01cb72f7e309aef83f49182bbec44d241b63a (patch) | |
| tree | d7ca24b0961ad737e645e7b729c4e2019dd35943 /doc/tutorial/Tutorial.tex | |
| parent | 8155ba54ae39dd71c6b8ddff2b2b7353dde9aff8 (diff) | |
Revert fiat-crypto overlay
Not a useful overlay. Fiat-crypto has since been updated to pass
-compat 8.6.
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions