From ce845ec1a7cadfdcf92650644cc21a5b6825f357 Mon Sep 17 00:00:00 2001
From: Jeff Moe <moe@forksand.com>
Date: Fri, 8 Jun 2018 09:10:27 -0600
Subject: [PATCH] git ignore some files generated each build run

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index be78635..c4de081 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,3 +30,6 @@ _minted-*
 *.fls
 *.fdb_latexmk
 *.pyg
+source/Source-gen.tex
+source/resources/SHA256SUM
+source/resources/STATS