From 1fec87537db4c2a210deac6f575de611f4657672 Mon Sep 17 00:00:00 2001 From: Davide Cappellini Date: Thu, 24 Sep 2026 22:09:36 +0200 Subject: [PATCH] gitignore: keep the BitBrain primary-source zip local (explicit path, not a pattern) --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index f0f7e07..805c2eb 100644 --- a/.gitignore +++ b/.gitignore @@ -66,3 +66,6 @@ common_libs/tests/compare_pairing common_libs/tests/diag_synthetic common_libs/tests/diag_automata_validation common_libs/tests/diag_tm_pattern_offline + +# Primary source archive kept locally, NOT tracked (12 MB) +docs/BitBrain_C_code.zip