Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
.gitignore
Find file
Blame
History
Permalink
Added Build, Tag, etc in version string and driver/Version.ml should be ignored
· fae1b5c4
Bernhard Schommer
authored
Jul 01, 2015
fae1b5c4