This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository menhir.

commit 7702664fb5d7f81b9f92f15acb1c2bdf0ba09e38
Author: Ralf Treinen <trei...@free.fr>
Date:   Wed Jul 12 23:52:52 2017 +0200

    mv menhir.install.in to menhir.install
---
 debian/{menhir.install.in => menhir.install} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/debian/menhir.install.in b/debian/menhir.install
similarity index 100%
rename from debian/menhir.install.in
rename to debian/menhir.install

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.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

Reply via email to