From 8df444295348769c5e840aab288d455ce52d8b6a Mon Sep 17 00:00:00 2001
From: Miles Vella <673-vella@users.noreply.gitlab.cs.uni-duesseldorf.de>
Date: Mon, 10 Mar 2025 14:18:29 +0100
Subject: [PATCH] add build dir and generated json files to gitignore

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index b9f4b3a5c..4ad199e4f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -167,8 +167,12 @@ benchmarks/execution/ProB/stdlib
 /*.py
 **/Cargo.lock
 **/vendor/
+build_cpp/
 btypes_primitives/**/*.js
 benchmarks/model_checking/ProB/lib
 benchmarks/model_checking/ProB/stdlib
 btypes_primitives/src/main/rust/bmachine/src/**
 btypes_big_integer/src/main/rust/bmachine/src/**
+/*.json
+!/package.json
+!/tsconfig.json
-- 
GitLab