From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 1 Jun 2016 05:33:11 +0000 (+0200)
Subject: ding
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6c134f48dbdbdcbdea3901227243c9cf594a30a3;p=rsss1516.git

ding
---

diff --git a/.gitignore b/.gitignore
index 21411d2..7b26e4a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@
 *.nav
 *.snm
 *.vrb
+_minted*