From 6c134f48dbdbdcbdea3901227243c9cf594a30a3 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 1 Jun 2016 07:33:11 +0200 Subject: [PATCH] ding --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 21411d2..7b26e4a 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ *.nav *.snm *.vrb +_minted* -- 2.20.1