From f8996ccd5b3e84e9f9eaa326b248812e1c5b9ae7 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Wed, 13 Feb 2019 20:46:54 -0500 Subject: Update docs list Upstream has switched to Markdown for their README. --- debian/libaac-tactics-coq.docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/libaac-tactics-coq.docs b/debian/libaac-tactics-coq.docs index e845566..b43bf86 100644 --- a/debian/libaac-tactics-coq.docs +++ b/debian/libaac-tactics-coq.docs @@ -1 +1 @@ -README +README.md -- cgit v1.2.3