Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
Makefile.extr
Find file
Blame
History
Permalink
Makefile.extr: [make clean] removes .automaton files.
· e036d68c
François Pottier
authored
Oct 23, 2015
e036d68c