From ae58976784a61720285b38dc7bd294488c99b7cf Mon Sep 17 00:00:00 2001 From: Niklas Dewally Date: Thu, 24 Oct 2024 09:19:14 +0100 Subject: [PATCH] add essence gitignore template --- essence.gitignore | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 essence.gitignore diff --git a/essence.gitignore b/essence.gitignore new file mode 100644 index 000000000..abdec4593 --- /dev/null +++ b/essence.gitignore @@ -0,0 +1,22 @@ +# .gitignore template for Essence and Essence' + +# Conjure +conjure-output/ + +# Savile Row +*.aux + +*.eprime.minion +*.eprime.info +*.eprime.infor +*.eprime.solution +*.eprime.solution.* + +*.param.minion +*.param.info +*.param.infor +*.param.solution +*.param.solution.* + +# Minion +.MINION*