ProofGeneral: ignore pre-releases.
This commit is contained in:
parent
f0138c1695
commit
e8a7a95ace
|
@ -0,0 +1 @@
|
|||
ignore="*pre*"
|
Loading…
Reference in New Issue