update gitignore

This commit is contained in:
2023-11-02 20:27:57 +08:00
parent 57e6f14067
commit bcd58af132
6 changed files with 16 additions and 10 deletions

View File

@ -1,3 +1,7 @@
# ===== Result =====
dest/*
!dest/*.gitkeep
# ===== Antlr =====
*.interp
*.tokens