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 <nico...@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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
