[gazebo] 02/06: Rename -dev file to libgazebo5-dev

[Jose Luis Rivero]

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

jrivero-guest pushed a commit to branch master
in repository gazebo.

commit 3231500e8f074825016826a33338a0aeebbdfd7e
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Mon Feb 2 17:53:58 2015 +0100

    Rename -dev file to libgazebo5-dev
    
    Upstream is using this notation in their own packages, which makes
    things easier for the users. Upstream although thinks that
    gazebo versions will be coinstallable sometime in the future.
---
 debian/{libgazebo-dev.install => libgazebo5-dev.install} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

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

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