summary refs log tree commit diff
path: root/proto/.gitignore
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-02-11 10:33:44 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-02-11 10:33:44 -0500
commit96251837db7c698a76d997f1449f0cd47885f203 (patch)
tree3a0019a8c9e6115bc4205c00baa86e7814baaa0f /proto/.gitignore
parent86dfca58460639f9a969aa312f0adf17e79be1f0 (diff)
downloadroux-96251837db7c698a76d997f1449f0cd47885f203.tar.gz
leave the prototype to git history
Diffstat (limited to 'proto/.gitignore')
-rw-r--r--proto/.gitignore4
1 files changed, 0 insertions, 4 deletions
diff --git a/proto/.gitignore b/proto/.gitignore
deleted file mode 100644
index 2dc12a1..0000000
--- a/proto/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-bak
-*.o
-*.cm[io]
-t.out