Debian
source-highlight package

Branches for Wheezy

Name		Status	Last Modified	Last Commit
lp:debian/wheezy/source-highlight		1 Development	2012-12-31 18:02:54 UTC 2012-12-31	16. * Non-maintainer upload. * Changing t... Author: David Prévot Revision Date: 2012-12-31 18:02:54 UTC * Non-maintainer upload. * Changing the documentation license to GFDL without cover texts, thanks to Lorenzo Bettini, upstream author, for his quick action (closes: #695793)