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