From 8a668767d4b21082a4679c3e793dbc1e8c0f9aa1 Mon Sep 17 00:00:00 2001 From: Clemens Schwaighofer Date: Fri, 17 Feb 2023 16:33:42 +0900 Subject: [PATCH] Currently ignore satis directory --- .gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..b77ab29 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +satis