Skip to content

Commit b527d77

Browse files
thuetterthuetter
committed
update gitignore
1 parent 84edadc commit b527d77

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
@@ -2,3 +2,4 @@
22
build/
33
external/
44
results/
5+
diff-tools/

0 commit comments

Comments
 (0)