Update .gitignore

Z3Prover · Mar 21, 2022 · 9011100 · 9011100
1 parent 20bd59b
commit 9011100
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -81,6 +81,7 @@ src/api/js/build/
 src/api/js/**/*.d.ts
 !src/api/js/scripts/*.js
 !src/api/js/src/*.js
+debug/*
 
 out/**
 *.bak