From fdcc5373160d2d522ecd9a1b8e1dde0d782605e2 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 6 Jul 2018 11:12:03 +0200 Subject: This is so ugly --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 3a38369..ebd6f84 100644 --- a/.gitignore +++ b/.gitignore @@ -12,8 +12,10 @@ *.pdf *.run.xml *.toc +_minted-*/ Clean System Files/ +dtmc __pycache__/ -- cgit v1.2.3