From cc440e2674697afc967e081cf91e03f149333502 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Thu, 2 Apr 2026 04:10:53 +0800
Subject: Initial commit: Build project architecture, define interfaces, write
 documentation, with the help of Claude

---
 proofsearch/.gitignore | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 proofsearch/.gitignore

(limited to 'proofsearch/.gitignore')

diff --git a/proofsearch/.gitignore b/proofsearch/.gitignore
new file mode 100644
index 0000000..7242ee6
--- /dev/null
+++ b/proofsearch/.gitignore
@@ -0,0 +1,14 @@
+# Build
+build/
+cmake-build-*/
+compile_commands.json
+
+# IDE
+.vscode/
+.idea/
+*.swp
+*~
+
+# OS
+.DS_Store
+Thumbs.db
-- 
cgit v1.2.3