Skip to content

Commit 0c0c3b8

Browse files
gitignore: updated
1 parent f69bfdc commit 0c0c3b8

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88

99
/class-lib/*.kast
1010
/test-runner/out
11+
/test-runner/workingDir
1112

1213
/semantics/java.tex
1314
/semantics/k.sty

0 commit comments

Comments
 (0)