jflex cleanup

aihua · Sep 28, 2020 · 91b16da · 91b16da
1 parent 6436f80
commit 91b16da
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 251 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1,5 @@
 /classes/
+/tools/
+/.idea/
+/dist/
+/out/
diff --git a/tools/jflex/idea-flex.skeleton b/tools/jflex/idea-flex.skeleton