INSTALL now ignored;
This commit is contained in:
parent
bb6d533c75
commit
383112951b
1
.gitignore
vendored
1
.gitignore
vendored
@ -40,4 +40,5 @@ coq
|
|||||||
compile
|
compile
|
||||||
test-driver
|
test-driver
|
||||||
\#*
|
\#*
|
||||||
|
INSTALL
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user