From 85ffea9482721965028876c5dde07422d7e363a7 Mon Sep 17 00:00:00 2001
From: bevilj <bevilj@usi.ch>
Date: Sun, 11 Nov 2018 20:58:47 +0000
Subject: [PATCH] docs: ignore some more tmp latex files

git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@111 a672b425-5310-4d7a-af5c-997e18724b81
---
 docs/.svnignore | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/.svnignore b/docs/.svnignore
index 441572b..a8da222 100644
--- a/docs/.svnignore
+++ b/docs/.svnignore
@@ -8,4 +8,6 @@
 *.nav
 *.snm
 *.vrb
-
+*.mp
+*.tmp
+*.tui