From 26accd67e88abda40293f1d3a5bf8c6791d22457 Mon Sep 17 00:00:00 2001 From: phil Date: Mon, 6 Feb 2023 23:08:33 +0100 Subject: [PATCH] Add gitignore file --- .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