From 760fc075b3ee176f30e762c66e3fc6d28d97ce9a Mon Sep 17 00:00:00 2001 From: Andrew Date: Tue, 5 Nov 2024 12:22:22 +0000 Subject: [PATCH] [gitignore]: Don't ignore PDF files --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index ab1b5a3..e964244 100644 --- a/.gitignore +++ b/.gitignore @@ -19,7 +19,7 @@ # these rules might exclude image files for figures etc. # *.ps # *.eps -*.pdf +# *.pdf ## Generated if empty string is given at "Please type another file name for output:" .pdf