delta/python-packages/pygments-git.git/scripts/get_css_properties.py, branch 2.15.1 github.com: pygments/pygments.git Update copyright year to 2023. 2023-03-29T19:11:12+00:00 Matthäus G. Chajdas dev@anteru.net 2023-03-29T19:08:17+00:00 a1361035ec5f599290371f7df9f21e3f1f1420a6 






Fix lots of missing encoding="utf-8" parameters
2023-01-31T15:30:11+00:00

Jean Abou Samra
jean@abou-samra.fr

2023-01-30T02:11:54+00:00

b69cae00b4a13cf306ec92d169b81c965a0865fc

Some of these are probably unnecessary (ASCII-only content), but it's
easier not to think about it.





Some of these are probably unnecessary (ASCII-only content), but it's
easier not to think about it.







Add more CSS property names (fixes #2113).
2022-04-24T13:24:31+00:00

Matthäus G. Chajdas
dev@anteru.net

2022-04-24T13:24:31+00:00

94b4c6ba09b57882fefd1e02080cd76b12d226b5

This change also adds a script to regenerate the list of CSS properties
from the W3C source if needed.





This change also adds a script to regenerate the list of CSS properties
from the W3C source if needed.