summaryrefslogtreecommitdiff
path: root/debian/libaac-tactics-coq.docs
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-11-29 23:44:17 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2010-11-30 13:59:56 +0100
commitcb529a5fc2c760f57db3f2213570044442540992 (patch)
tree2480442b91443fd71b97af6531fc579749d43d3e /debian/libaac-tactics-coq.docs
parent1aa8b6f6a876af22f538c869f022bc4ca5986b40 (diff)
Initial packaging
Diffstat (limited to 'debian/libaac-tactics-coq.docs')
-rw-r--r--debian/libaac-tactics-coq.docs1
1 files changed, 1 insertions, 0 deletions
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