mirror of
https://github.com/php/php-src.git
synced 2026-04-16 20:41:18 +02:00
This reverts commit 5e15c9c41f, since
re2c default rules are only available as of re2c 0.13.7.
4.4 KiB
4.4 KiB