[irstlm] 42/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 35b3980953df3a54e6151d8e855b0dd6d832e4fc
Author: Giulio Paci <giuliopaci at gmail.com>
Date:   Tue Jan 1 15:07:46 2013 +0100

    Updated copyright_hints.
---
 debian/copyright_hints | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/copyright_hints b/debian/copyright_hints
index 5277116..b9ae123 100644
--- a/debian/copyright_hints
+++ b/debian/copyright_hints
@@ -80,7 +80,6 @@ Files: Makefile.am
  debian/patches/online_documentation_enhancments.patch
  debian/patches/series
  debian/patches/spelling_fixes.patch
- debian/patches/upstream_revision_487.patch
  debian/rules
  debian/source/format
  debian/source/local-options
@@ -93,6 +92,9 @@ Files: Makefile.am
  scripts/add-start-end.sh
  scripts/build-lm-qsub.sh
  scripts/build-lm.sh
+ scripts/other/astyle_Darwin
+ scripts/other/astyle_Linux
+ scripts/other/beautify.perl
  scripts/rm-start-end.sh
  scripts/split-ngt.sh
  scripts/wrapper

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