1
0
mirror of https://github.com/php/php-src.git synced 2026-04-23 07:58:20 +02:00
Commit Graph

1 Commits

Author SHA1 Message Date
Derick Rethans 0029d2b08b Turn off font ligatures in code in documentation 2025-04-25 10:30:43 +01:00