aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCamil Staps2016-05-26 17:23:16 +0200
committerCamil Staps2016-05-26 17:23:16 +0200
commitba10d1b5ec24a33059030c16f82558fe45e165d2 (patch)
tree41f438c3574d3b75ec9e03080a78ba26e63e5b2b /.gitignore
parentfix toString for Push (diff)
Overloading IO functions in step; POC derivation tree generation
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 528d3f4..1eabc20 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
*.exe
*.out
run
+tree
# Directory used to store object files, abc files and assembly files
Clean System Files/