search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
132 stars 33 forks source link

Remove gtk-lang file #1208

Closed Halbaroth closed 3 months ago

Halbaroth commented 3 months ago

We do not need to keep this file as we remove the legacy GUI.

Halbaroth commented 3 months ago

The file is not installed by our package, which means it is very unlikely that someone uses it or even knows it exists.