Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #4753 : mbrubeck/servo/no-time, r=Ms2ger

Browse source 
Fixes #4748. r? @jdm
This commit is contained in:
bors-servo 2015-01-28 12:33:51 -07:00
commit aba5c16091
2 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.gitmodules vendored
View file

@ -4,6 +4,3 @@
[submodule "support/android-rs-glue"]
path = support/android-rs-glue
url = https://github.com/servo/android-rs-glue
[submodule "support/time"]
path = support/time
url = https://github.com/servo/time

1
support/time

@ -1 +0,0 @@
Subproject commit 41ecbd6f0fbec92c4b2ac312e853fccdbe63d89b