An unofficial mirror of the pygments hg repository. The repository should be automatically updated every morning at 5 am CET.