[kido] 04/04: Rename all libraries install files to just kido

[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 kido.

commit b327ae889955000d9e54a0f954c4bf5b73c90659
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Feb 9 01:02:48 2016 +0000

    Rename all libraries install files to just kido
---
 debian/{libkido0-dev.install => libkido-dev.install}                      | 0
 debian/{libkido-gui0-dev.install => libkido-gui-dev.install}              | 0
 debian/{libkido-gui-osg0-dev.install => libkido-gui-osg-dev.install}      | 0
 debian/{libkido-gui-osg0.1.install => libkido-gui-osg.install}            | 0
 debian/{libkido-gui0.1.install => libkido-gui.install}                    | 0
 ...o-optimizer-ipopt0-dev.install => libkido-optimizer-ipopt-dev.install} | 0
 ...libkido-optimizer-ipopt0.1.install => libkido-optimizer-ipopt.install} | 0
 ...o-optimizer-nlopt0-dev.install => libkido-optimizer-nlopt-dev.install} | 0
 ...libkido-optimizer-nlopt0.1.install => libkido-optimizer-nlopt.install} | 0
 debian/{libkido-planning0-dev.install => libkido-planning-dev.install}    | 0
 debian/{libkido-planning0.1.install => libkido-planning.install}          | 0
 debian/{libkido-utils0-dev.install => libkido-utils-dev.install}          | 0
 debian/{libkido-utils0.1.install => libkido-utils.install}                | 0
 debian/{libkido0.1.install => libkido.install}                            | 0
 14 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/debian/libkido0-dev.install b/debian/libkido-dev.install
similarity index 100%
rename from debian/libkido0-dev.install
rename to debian/libkido-dev.install
diff --git a/debian/libkido-gui0-dev.install b/debian/libkido-gui-dev.install
similarity index 100%
rename from debian/libkido-gui0-dev.install
rename to debian/libkido-gui-dev.install
diff --git a/debian/libkido-gui-osg0-dev.install b/debian/libkido-gui-osg-dev.install
similarity index 100%
rename from debian/libkido-gui-osg0-dev.install
rename to debian/libkido-gui-osg-dev.install
diff --git a/debian/libkido-gui-osg0.1.install b/debian/libkido-gui-osg.install
similarity index 100%
rename from debian/libkido-gui-osg0.1.install
rename to debian/libkido-gui-osg.install
diff --git a/debian/libkido-gui0.1.install b/debian/libkido-gui.install
similarity index 100%
rename from debian/libkido-gui0.1.install
rename to debian/libkido-gui.install
diff --git a/debian/libkido-optimizer-ipopt0-dev.install b/debian/libkido-optimizer-ipopt-dev.install
similarity index 100%
rename from debian/libkido-optimizer-ipopt0-dev.install
rename to debian/libkido-optimizer-ipopt-dev.install
diff --git a/debian/libkido-optimizer-ipopt0.1.install b/debian/libkido-optimizer-ipopt.install
similarity index 100%
rename from debian/libkido-optimizer-ipopt0.1.install
rename to debian/libkido-optimizer-ipopt.install
diff --git a/debian/libkido-optimizer-nlopt0-dev.install b/debian/libkido-optimizer-nlopt-dev.install
similarity index 100%
rename from debian/libkido-optimizer-nlopt0-dev.install
rename to debian/libkido-optimizer-nlopt-dev.install
diff --git a/debian/libkido-optimizer-nlopt0.1.install b/debian/libkido-optimizer-nlopt.install
similarity index 100%
rename from debian/libkido-optimizer-nlopt0.1.install
rename to debian/libkido-optimizer-nlopt.install
diff --git a/debian/libkido-planning0-dev.install b/debian/libkido-planning-dev.install
similarity index 100%
rename from debian/libkido-planning0-dev.install
rename to debian/libkido-planning-dev.install
diff --git a/debian/libkido-planning0.1.install b/debian/libkido-planning.install
similarity index 100%
rename from debian/libkido-planning0.1.install
rename to debian/libkido-planning.install
diff --git a/debian/libkido-utils0-dev.install b/debian/libkido-utils-dev.install
similarity index 100%
rename from debian/libkido-utils0-dev.install
rename to debian/libkido-utils-dev.install
diff --git a/debian/libkido-utils0.1.install b/debian/libkido-utils.install
similarity index 100%
rename from debian/libkido-utils0.1.install
rename to debian/libkido-utils.install
diff --git a/debian/libkido0.1.install b/debian/libkido.install
similarity index 100%
rename from debian/libkido0.1.install
rename to debian/libkido.install

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