mirror of
https://github.com/servo/servo
synced 2026-05-14 10:56:44 +02:00
This was used by the old compositor of which only the ghostly echoes of old commits remain. Since it's been unused for quite some time, it is probably safe to remove it.