diff options
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3,6 +3,7 @@ *.pickle *.pyc *.pyo +tags # files generated by PLY parser.out |
index : codeq-server.git | ||
CodeQ server | git repository hosting |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 1 |
@@ -3,6 +3,7 @@ *.pickle *.pyc *.pyo +tags # files generated by PLY parser.out |