This is an automated email from the git hooks/post-receive script. nicoo-guest pushed a commit to branch master in repository aac-tactics.
commit a65abda5456ed28de1c5410353eb42f945d92c2d 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