jgm/highlighting-kate — pull request #28 by StanlyShauro (2013-01-22 10:34:17+00:00)
Title: Update xml/asn1.xml

fix language extensions value