summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorbd-912 <bdunahu@colostate.edu>2024-03-16 22:06:32 -0600
committerbd-912 <bdunahu@colostate.edu>2024-03-16 22:06:32 -0600
commit6a24c69232901de51f50beab9c3d3b3760dee334 (patch)
tree70c71b9ec25d3f6085d71c83e2be3719fe638ae9 /.gitignore
parent5b09fb3697f4b1cc1f2f3781f10e1334ada69c22 (diff)
(Nonfunctional) Implemented many type-checking rules
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 22cdebe..79f66fb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,3 @@
-/manifest.scm
*.class
/javacc-6.0/
/syntaxtree/