diff python/py-pygments/py-pygments.sh @ 139:8076ef442b6c

editors: merge .sh and .info
author David Demelier <markand@malikania.fr>
date Mon, 11 Mar 2019 15:49:38 +0100
parents f0e059497bfa
children 329cad4dc6b0
line wrap: on
line diff