Ignore more files in the repository.

eclipse · Feb 25, 2017 · 5542292 · 5542292
1 parent a089fb0
commit 5542292
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -7,11 +7,11 @@ target/
 xtend-gen/
 *.pdf
 *_trace
+*.sublime-workspace
 /**/src-gen/**/*Options.java
 /**/src-gen/**/*MetaDataProvider.java
 docs/content/reference/algorithms/
 docs/content/reference/options/
 docs/content/reference/groups/
 docs/static/img_gen/
 docs/public
-