Merge pull request #2027 from jeff1evesque/remove_files

#1964: Remove unnecessary files and directories
jeff1evesque · Aug 5, 2015 · 3ea911a · 3ea911a
2 parents 244d1a4 + 45a63b6
commit 3ea911a
Show file tree

Hide file tree

Showing 6 changed files with 1 addition and 117 deletions.
diff --git a/.gitignore b/.gitignore
@@ -32,4 +32,4 @@
 /brain/session/*.pyc
 /brain/validator/*.pyc
 
-/web_interface/*.pyc
+/web_interface/*.pyc
diff --git a/build/__init__.py b/build/__init__.py
diff --git a/build/bash_loader b/build/bash_loader
diff --git a/build/web/web_img b/build/web/web_img
diff --git a/build/web/web_js b/build/web/web_js
diff --git a/build/web/web_scss b/build/web/web_scss