Remove invalid expected file

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

Git failed to checkout the repository on cygwin because of this file :/

Halbaroth commented 1 month ago

No idea