gecko-dev

mirror of https://github.com/mozilla/gecko-dev.git synced 2025-02-17 22:32:51 +00:00

History

Nazım Can Altınova 3275a0d69a servo: Merge #17272 - Add an index.html page for geckolib docs (from canaltinova:geckolib-doc); r=jdm

We have successfully added docs for geckolib to `doc.servo.org` in #17243 but we still can't use http://doc.servo.org/geckolib to navigate to geckolib docs because of the lack of an index.html file.

---
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors

<!-- Either: -->
- [X] These changes do not require tests because they are CI changes.

Source-Repo: https://github.com/servo/servo
Source-Revision: 8085a3717822e70185a7deb50e3250a3a86ab857

--HG--
extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear
extra : subtree_revision : 12a3f83d9be02206b7b7ccf71ce6d02b10df16af

2017-06-12 08:38:16 -07:00

servo: Merge #17272 - Add an index.html page for geckolib docs (from canaltinova:geckolib-doc); r=jdm

2017-06-12 08:38:16 -07:00

doc.servo.org

servo: Merge #17272 - Add an index.html page for geckolib docs (from canaltinova:geckolib-doc); r=jdm

2017-06-12 08:38:16 -07:00

layout_viewer

servo: Merge #15990 - Layout viewer now uses local copy of jquery. See #15964 (from vlisivka:master); r=emilio

2017-03-16 18:23:53 -07:00

cert_generator.js

servo: Merge #15106 - Update cert-generator and certs (from Manishearth:certs); r=avadacatavra

2017-04-03 12:50:21 -05:00