From 9011100df27d5b8f5984dd8d9b424ecf37b37c6e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Mar 2022 15:25:35 -0700
Subject: [PATCH] Update .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ac83a2775..051580bb3 100644
--- 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