diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -130,3 +130,4 @@ src/cli/test_reducer.err | |||
130 | vgcore* | 130 | vgcore* |
131 | __pycache__ | 131 | __pycache__ |
132 | tags | 132 | tags |
133 | contrib/extracted.h | ||