[irstlm] 76/146: Updated copyright_hints.

[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 f4e5a9a159a90fb3f2472dc1461cde68d31e737a
Author: Giulio Paci <giuliopaci at gmail.com>
Date:   Sun Jan 27 03:21:24 2013 +0100

    Updated copyright_hints.
---
 debian/copyright_hints | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/copyright_hints b/debian/copyright_hints
index e391350..ba54cff 100644
--- a/debian/copyright_hints
+++ b/debian/copyright_hints
@@ -77,6 +77,7 @@ Files: Makefile.am
  debian/manpages
  debian/manpages_files/irstlm.1
  debian/patches/1001_fix_compilation_warnings.patch
+ debian/patches/1002_fix_problems_identified_by_cppcheck.patch
  debian/patches/compilation_fixes.patch
  debian/patches/online_documentation_enhancments.patch
  debian/patches/series

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