Update .gitignore

esbmc · Oct 5, 2023 · 53b4cda · 53b4cda
1 parent 465977f
commit 53b4cda
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -166,3 +166,4 @@ config_dev.json
 
 # Proprietary source code samples.
 uav_test.sh
+experiments