Przeglądaj źródła

Further extended gitignore; everything seems covered now

Yentl Van Tendeloo 9 lat temu
rodzic
commit
0a563afe39
2 zmienionych plików z 7 dodań i 1379 usunięć
  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

Plik diff jest za duży
+ 0 - 1379
hybrid_server/server.py