From 0d3350363ad26efcbc722da11149fd079f15441b Mon Sep 17 00:00:00 2001 From: Eggert Jung Date: Wed, 11 Nov 2020 11:07:54 +0100 Subject: [PATCH] rename to report.pdf --- doc/{cover-page.pdf => report.pdf} | Bin 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{cover-page.pdf => report.pdf} (100%) diff --git a/doc/cover-page.pdf b/doc/report.pdf similarity index 100% rename from doc/cover-page.pdf rename to doc/report.pdf