From a8c0742d53ca8802a3032d801e4a5e169851078e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 27 Dec 2016 16:07:18 +0000 Subject: aac for Coq 8.6 --- debian/patches/series | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/patches/series (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index 31091a9..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -0001-Fix-typos.patch -- cgit v1.2.3