From 382bd05d1b1022a2ca46e6dc7bbd8540e291925a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 12 Mar 2025 17:18:37 -0700
Subject: [PATCH] gitignore

---
 .github/prompts/.gitignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .github/prompts/.gitignore

diff --git a/.github/prompts/.gitignore b/.github/prompts/.gitignore
new file mode 100644
index 000000000..df9d0e902
--- /dev/null
+++ b/.github/prompts/.gitignore
@@ -0,0 +1,3 @@
+
+#GenAIScript
+genaiscript.prompt.md
\ No newline at end of file