From 831d9c0737cd53be0b98f176f00c117de1ecc9ca Mon Sep 17 00:00:00 2001 From: tzlil Date: Sat, 15 Apr 2023 01:22:18 +0300 Subject: problem 1 --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 82d9aa7..4fbd9bc 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,5 @@ result *.pdf tests/runtests.log tests/out +.stack-work +*.lock -- cgit 1.4.1