summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Andrew Waterman <waterman@cs.berkeley.edu>2015-09-02 14:17:09 -0700
committerGravatar Andrew Waterman <waterman@cs.berkeley.edu>2015-09-02 14:19:02 -0700
commit04056f9087e131a8c46167ce5f257abd73c2c137 (patch)
tree6f82cf946754f7740c2f18c7ab6b62cfc5d0fbef /.gitignore
parentc6385bd93a7549b597f13eb7d9d707393f5a12a2 (diff)
Remove automatically-generated files
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a01ee28..72c1533 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
.*.swp
+inst.chisel
+instr-table.tex