From 8da854acdd5b307c6ffb08a252b1da03689a383d Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Thu, 3 Jan 2019 16:30:51 +0100 Subject: [PATCH] Renamed bibliothek.tex to library.tex Signed-off-by: Jim Martens --- bibliothek.tex => library.tex | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename bibliothek.tex => library.tex (100%) diff --git a/bibliothek.tex b/library.tex similarity index 100% rename from bibliothek.tex rename to library.tex