From f34d04f174700f5d4c8e15859c57f1bc00eacb3b Mon Sep 17 00:00:00 2001 From: Tobias Hilfiker Date: Thu, 24 Apr 2025 01:19:34 +0200 Subject: [PATCH] correct gitignore --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 8ffe5b3..1c477e5 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,3 @@ -/idea/ +/.idea/ /auxil/ /out/ \ No newline at end of file