issues
search
OCamlPro
/
alt-ergo
OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130
stars
33
forks
source link
Use Unix eof for shell scripts
#1186
Closed
Halbaroth
closed
1 month ago
Halbaroth
commented
1 month ago
Backport of #1184
Backport of #1184