diff options
author | Tim Hutt <timothy.hutt@codasip.com> | 2023-08-15 14:00:16 +0100 |
---|---|---|
committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2023-09-12 13:50:59 +0200 |
commit | e0d42a8562d247511c776fcb889176b2ce3a6cf2 (patch) | |
tree | 7143bb3900acae261be951bda94ac2368857cbd5 | |
parent | 7682079db2a3aaa3b21505a664b49269df1fb401 (diff) | |
download | sail-riscv-e0d42a8562d247511c776fcb889176b2ce3a6cf2.zip sail-riscv-e0d42a8562d247511c776fcb889176b2ce3a6cf2.tar.gz sail-riscv-e0d42a8562d247511c776fcb889176b2ce3a6cf2.tar.bz2 |
Add z3_problems to .gitignore
This file seems to be created on every build.
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,3 +6,4 @@ _build/ _sbuild/ *.o *.a +/z3_problems |