Skip to content
Snippets Groups Projects
Normal view Permalink
_CoqProject 47 B
Newer Older
Björn Brandenburg's avatar
Don't re-generate _CoqProject in create_makefile.sh
Björn Brandenburg committed
1 
-R . rt -arg "-w -notation-overriden,-parsing"