From c6bdf48a62929a67c8612024a623b3accfe69b4e Mon Sep 17 00:00:00 2001
From: Michael Hierweck <michael@hierweck.de>
Date: Wed, 01 Apr 2020 21:22:23 +0200
Subject: [PATCH] Merge branch 'master' of ssh://dev.hostsharing.net:29418/docs/hs.docs.users

---
 .gitignore |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 2fdd01b..9c0a850 100644
--- a/.gitignore
+++ b/.gitignore
@@ -81,7 +81,6 @@
 *.nls
 *.out
 *.pax
-*.pdf
 *.pdfpc
 *.pdfsync
 *.pre
@@ -100,7 +99,6 @@
 *.spl
 *.sta
 *.stc[0-9]*
-*.svg
 *.swp
 *.sympy
 *.synctex

--
Gitblit v1.9.3