Ignore Isabelle/JEdit tmp files.
This commit is contained in:
parent
95cda1aaea
commit
b7948659ad
|
@ -1,3 +1,4 @@
|
||||||
output
|
output
|
||||||
.afp
|
.afp
|
||||||
*~
|
*~
|
||||||
|
*#
|
||||||
|
|
Loading…
Reference in New Issue