[irstlm] 15/146: Renamed debian/libirstlm0-dev.install into debian/libirstlm-dev.install.

[Giulio Paci]

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

giuliopaci-guest pushed a commit to branch master
in repository irstlm.

commit 333a241bf5fd0d1d2b1258d197b15e7e374504b2
Author: Giulio Paci <giuliopaci at gmail.com>
Date:   Sat Aug 11 01:34:35 2012 +0200

    Renamed debian/libirstlm0-dev.install into debian/libirstlm-dev.install.
---
 debian/{libirstlm0-dev.install => libirstlm-dev.install} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

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

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