Skip to main content

Browse the archive

Revision f4e9a80ea336fc7154aac9cce5385bd36a48125a authored by Matthieu Sozeau on 15 April 2021, 15:09:23 UTC, committed by GitHub on 15 April 2021, 15:09:23 UTC 
Merge pull request #542 from MetaCoq/fix-ocaml-fatal-warning-60
 
Disable warning 60 of ocaml >= 4.10 (unused functor argument)
2 parent s 6f63827 + 75f0cb9
History
File Mode Size
coqdoc.css -rw-r--r-- 5.9 KB
back to top