From 13b84cdb0f4b450473648fba4d83f8d432fc7dc0 Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Thu, 18 Apr 2019 16:38:27 +0100
Subject: [PATCH] Minor updates to .gitignore.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 6c62ce25..14c47115 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
 *.log
 *.bbl
 *.blg
+*.brf
 *.out
 *.toc
 *.synctex.gz
@@ -10,6 +11,7 @@
 *.fls
 *.bcf
 *.run.xml
+*.dvi
 
 # Temporary files
 .emacs.desktop