From f8a787e80b9341d35656a2daef645467896f09b1 Mon Sep 17 00:00:00 2001 From: phil Date: Tue, 7 Feb 2023 17:18:16 +0100 Subject: [PATCH] Add gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..14e76df --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.fact_cache