Skip to content

Commit 2101172

Browse files
gsvgitgsvgit
committed
Ignore SAVE-ERROR files.
1 parent a558d4a commit 2101172

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -278,3 +278,4 @@ TSWLatexianTemp*
278278
tex/FormalLanguageConstrainedReachabilityLectureNotes.pdf
279279
tex/figures/externalized/*
280280
!tex/figures/externalized/.gitkeep
281+
*.*-SAVE-ERROR

0 commit comments

Comments
 (0)