mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-03-02 06:22:20 +00:00
a4f0f1e060
Source-Repo: https://github.com/servo/servo Source-Revision: 0db969a5127c40445e23cfb4b553792d5675afb1 --HG-- rename : servo/src/dom/base.rs => servo/src/servo/dom/base.rs rename : servo/src/dom/rcu.rs => servo/src/servo/dom/rcu.rs rename : servo/src/gfx/geom.rs => servo/src/servo/gfx/geom.rs rename : servo/src/gfx/surface.rs => servo/src/servo/gfx/surface.rs rename : servo/src/image/encode/tga.rs => servo/src/servo/image/encode/tga.rs rename : servo/src/layout/base.rs => servo/src/servo/layout/base.rs rename : servo/src/servo.rc => servo/src/servo/servo.rc rename : servo/src/util/tree.rs => servo/src/servo/util/tree.rs rename : servo/src/widget/base.rs => servo/src/servo/widget/base.rs