From bb29874a8ee962c79fd24b271bb7aa110201bae8 Mon Sep 17 00:00:00 2001 From: Felix Valentini <felixvalentini@Felixs-MBP.fritz.box> Date: Mon, 5 Dec 2022 13:13:46 +0100 Subject: [PATCH] minor changes --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 1df7380..6c69011 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1 @@ -*.\~ \ No newline at end of file +*.hs\~ \ No newline at end of file -- GitLab