From cb529a5fc2c760f57db3f2213570044442540992 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 29 Nov 2010 23:44:17 +0100 Subject: Initial packaging --- debian/libaac-tactics-coq.docs | 1 + 1 file changed, 1 insertion(+) create mode 100644 debian/libaac-tactics-coq.docs (limited to 'debian/libaac-tactics-coq.docs') diff --git a/debian/libaac-tactics-coq.docs b/debian/libaac-tactics-coq.docs new file mode 100644 index 0000000..71dfd5b --- /dev/null +++ b/debian/libaac-tactics-coq.docs @@ -0,0 +1 @@ +README.txt -- cgit v1.2.3