[irstlm] 50/146: Merge tag 'upstream/5.80.01+dfsg'

[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 f7f635b99e390064eb3cfe5865073ccd60635359
Merge: 8d09b71 e6262d6
Author: Giulio Paci <giuliopaci at gmail.com>
Date:   Tue Jan 1 16:07:11 2013 +0100

    Merge tag 'upstream/5.80.01+dfsg'
    
    Upstream version 5.80.01+dfsg
    
    # gpg: Signature made mar 01 gen 2013 16:07:08 CET using RSA key ID B7ADB86F
    # gpg: Good signature from "Giulio Paci <giuliopaci at gmail.com>"
    # gpg:                 aka "Giulio Paci <paci at pd.istc.cnr.it>"
    # gpg:                 aka "Giulio Paci <giulio.paci at pd.istc.cnr.it>"

 scripts/other/astyle_Darwin | Bin 343056 -> 0 bytes
 scripts/other/astyle_Linux  | Bin 324848 -> 0 bytes
 scripts/other/beautify.perl |  22 ----------------------
 3 files changed, 22 deletions(-)

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