[Pkg-ocaml-maint-commits] [menhir] 01/01: mv menhir.install.in to menhir.install

[Ralf Treinen]

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 <treinen at 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