Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
Makefile.extr
Find file
Blame
History
Permalink
Added a few cleanup commands in [make clean].
· 08575b87
François Pottier
authored
Oct 23, 2015
08575b87