diff options
| author | tzlil <tzlils@protonmail.com> | 2023-04-15 01:22:18 +0300 |
|---|---|---|
| committer | tzlil <tzlils@protonmail.com> | 2023-04-15 01:22:18 +0300 |
| commit | 831d9c0737cd53be0b98f176f00c117de1ecc9ca (patch) | |
| tree | a359ed14cd059e39462a779819299924a30a236c /.gitignore | |
| parent | fdf35536b66499884dd5b4e1740ac67e5cebb1a2 (diff) | |
problem 1
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
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 |