This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Exact

Exact Union RegExp

Matthäus G. Chajdas 68a7a9b1df Update demo.css ... Port https://github.com/pygments/pygments.github.io/pull/4/files		2022-12-05 08:54:48 +01:00
..
demo-worker.js	Overhaul demo and support running it locally (#2141)	2022-05-21 17:56:08 +02:00
demo.css	Update demo.css	2022-12-05 08:54:48 +01:00
demo.js	Overhaul demo and support running it locally (#2141)	2022-05-21 17:56:08 +02:00
favicon.ico	merge default into stable	2016-01-17 17:00:26 +01:00
github.png	Update hg/bitbucket -> git/github everywhere.	2019-11-10 09:46:26 +01:00
logo_new.png	merge default into stable	2016-01-17 17:00:26 +01:00
logo_only.png	merge default into stable	2016-01-17 17:00:26 +01:00
spinner.gif	add pyodide-based demo for the website	2019-11-24 14:33:01 +01:00