Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Gérard Huet
Heritage_Platform
Repository
Heritage_Platform
ML
interface.mli
Find file
Blame
History
Permalink
Restore the previous architecture of CGI interface
· 5f7b366d
Idir Lankri
authored
Jul 26, 2017
interface.ml produces the executable interface as before.
5f7b366d