diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ __pycache__/ build/ debug-build/ -conformance/ +/conformance/ conformance_build/ conformance_large_files/ .cache |
index : reference_model.git | ||
[no description] |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 2 |
@@ -4,7 +4,7 @@ __pycache__/ build/ debug-build/ -conformance/ +/conformance/ conformance_build/ conformance_large_files/ .cache |