mirror of
https://github.com/servo/servo.git
synced 2025-06-19 14:48:59 +01:00
Somewhat ugly but hopefully not too much. Somehow it ends up removing more lines than adding. Differential Revision: https://phabricator.services.mozilla.com/D3536 |
||
---|---|---|
.. | ||
mod.rs | ||
namespace.rs |