Remove unneeded whitespace (minor)

2024-05-01 18:42:57 +02:00 · 2019-08-28 20:50:42 -04:00 · 2019-08-28 20:50:42 -04:00 · 8a2fd555da
parent b04bffb916
commit 8a2fd555da
3 changed files with 5 additions and 6 deletions
--- a/1
+++ b/1
@ -119,7 +119,6 @@ example: example.pdf
 example.pdf: rechnung.sty example.tex
 	pdflatex example.tex

-
 manual.ps.gz: manual.ps
 	gzip < $< > $@