From 525ff82400b685dc6dd0d6376253545720471be0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Wed, 18 May 2022 14:25:26 +0200 Subject: remove bad files --- buch/buch.bbl | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 buch/buch.bbl (limited to 'buch/buch.bbl') diff --git a/buch/buch.bbl b/buch/buch.bbl deleted file mode 100644 index e69de29..0000000 -- cgit v1.2.1