[frog] 88/103: rename unused file libfrog1-dev.install to libfrog-dev.install

[Joost van Baal]

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

joostvb pushed a commit to branch master
in repository frog.

commit 569ba12eba49cb0419560b5cabcc4a65202a22e0
Author: Joost van Baal-Ilić <joostvb at debian.org>
Date:   Sun Jun 16 06:23:22 2013 +0000

    rename unused file libfrog1-dev.install to libfrog-dev.install
---
 debian/{libfrog1-dev.install => libfrog-dev.install} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/debian/libfrog1-dev.install b/debian/libfrog-dev.install
similarity index 100%
rename from debian/libfrog1-dev.install
rename to debian/libfrog-dev.install

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/frog.git