From cb5f84a7ebb024fbc29ba553569ee35a1d63cacc Mon Sep 17 00:00:00 2001
From: Jannis Portmann <jannisp@student.ethz.ch>
Date: Fri, 3 Feb 2023 18:07:52 +0100
Subject: [PATCH] Add output ps to ignores

---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index d6fcb13..f7f6043 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,8 +22,8 @@
 *.xdv
 *-converted-to.*
 # these rules might exclude image files for figures etc.
-# *.ps
-# *.eps
+main*.ps
+main*.eps
 *.pdf
 
 ## Generated if empty string is given at "Please type another file name for output:"