From bfe45dbaed933cca5081a9e2524e0ef099a83efb Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Wed, 28 Dec 2016 09:28:26 +0100
Subject: Coq 8.6

---
 debian/docs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debian/docs')

diff --git a/debian/docs b/debian/docs
index 297170db..805bc92d 100644
--- a/debian/docs
+++ b/debian/docs
@@ -1,2 +1,2 @@
-README
+README.md
 CREDITS
-- 
cgit v1.2.3