On 04/04/2017 04:55 PM, Andrew Shadura wrote:
# HG changeset patch
# User Andrew Shadura
# Date 1491317675 -7200
# Tue Apr 04 16:54:35 2017 +0200
# Node ID 860e1f4e02146a9f5731ed426f6f36419e2f4110
# Parent f58ed40c9a72ce0b72fa7ce4f8b7da843430bc57
pygmentsutils: don't
# HG changeset patch
# User Andrew Shadura
# Date 1491317675 -7200
# Tue Apr 04 16:54:35 2017 +0200
# Node ID 860e1f4e02146a9f5731ed426f6f36419e2f4110
# Parent f58ed40c9a72ce0b72fa7ce4f8b7da843430bc57
pygmentsutils: don't fail if an extension doesn't speficy EXTRA_LEXERS