diff options
-rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,4 +1,9 @@ .idea *.iml +*.pickle *.pyc *.pyo + +# files generated by PLY +parser.out +parsetab.py |
index : codeq-server.git | ||
CodeQ server | git repository hosting |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 5 |
@@ -1,4 +1,9 @@ .idea *.iml +*.pickle *.pyc *.pyo + +# files generated by PLY +parser.out +parsetab.py |