Browse Source

Further extended gitignore; everything seems covered now

Yentl Van Tendeloo 9 years ago
parent
commit
0a7b31bda3
2 changed files with 7 additions and 1379 deletions
  1. 7 0
      .gitignore
  2. 0 1379
      hybrid_server/server.py

+ 7 - 0
.gitignore

@@ -1,3 +1,10 @@
 *.pyc
 *.pickle
 .cache
+interface/HUTN/test/grammar_action_language/util.py
+interface/HUTN/test/graph_compilation_action_language/util.py
+kernel/test/functions/utils.py
+kernel/test/instructions/utils.py
+kernel/test/primitives/utils.py
+kernel/test/rules/utils.py
+hybrid_server/server.py

File diff suppressed because it is too large
+ 0 - 1379
hybrid_server/server.py