From 2fb821b474e65f9d83df530c07e3833b7ec31d64 Mon Sep 17 00:00:00 2001
From: Valentin Brandl <vbrandl@riseup.net>
Date: Thu, 15 Nov 2018 11:53:55 +0100
Subject: [PATCH] Ignore minted output

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 378eac2..42e28a1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 build
+_minted*