From 359b557176b9bb2ff1aed2082641eed39c358d0d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= <debian@jff-webhosting.net>
Date: Wed, 27 May 2020 14:58:02 +0200
Subject: New upstream version 5.1.2a

---
 docs/CMakeFiles/progress.marks | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 docs/CMakeFiles/progress.marks

(limited to 'docs/CMakeFiles/progress.marks')

diff --git a/docs/CMakeFiles/progress.marks b/docs/CMakeFiles/progress.marks
deleted file mode 100644
index 573541a..0000000
--- a/docs/CMakeFiles/progress.marks
+++ /dev/null
@@ -1 +0,0 @@
-0
-- 
cgit v1.2.3