[Pkg-ocaml-maint-commits] [aac-tactics] 03/04: Fix installed docs
Nicolas Braud-Santoni
nicolas at braud-santoni.eu
Sun Jul 24 02:22:36 UTC 2016
This is an automated email from the git hooks/post-receive script.
nicoo-guest pushed a commit to branch patch-queue/master
in repository aac-tactics.
commit def1cb43b5fac06e93f802ca89ffb3d9eceb2582
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date: Sat Jul 23 16:29:39 2016 -0400
Fix installed docs
---
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 71dfd5b..e845566 100644
--- a/debian/libaac-tactics-coq.docs
+++ b/debian/libaac-tactics-coq.docs
@@ -1 +1 @@
-README.txt
+README
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
More information about the Pkg-ocaml-maint-commits
mailing list