mirror of
https://github.com/php/doc-pl.git
synced 2026-04-26 16:28:14 +02:00
ecc7a709b9
This only updates files which have an empty diff between the two different revisions