Merge pull request #387 from KleeGroup/update-gitignore

[.gitignore] Update gitignore
klee-contrib · Dec 13, 2016 · 8505076 · 8505076
2 parents 8066a4b + 8324d12
commit 8505076
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 39 deletions.
diff --git a/.gitignore b/.gitignore
@@ -18,3 +18,4 @@ dist
 /translation
 /user
 /util
+index.js
diff --git a/index.js b/index.js
-Original file line number
+Diff line change
@@ Expand Up / @@ -18,3 +18,4 @@ dist @@
     /translation
     /user
     /util
+    index.js