diff options
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,3 +6,4 @@ _build/ _sbuild/ *.o *.a +/z3_problems |
![]() |
index : sail-riscv.git | |
Unnamed repository; edit this file 'description' to name the repository. | root |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 1 |
@@ -6,3 +6,4 @@ _build/ _sbuild/ *.o *.a +/z3_problems |