Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-13 02:44:29 +00:00
Code Issues Projects Releases Packages Wiki Activity

Remove the unused support/time submodule.

Browse source 
Fixes #4748. r? @jdm
This commit is contained in:
Matt Brubeck 2015-01-28 08:43:41 -08:00
parent 0f81e70882
commit e2912a8552
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"] [submodule "support/android-rs-glue"]
path = support/android-rs-glue path = support/android-rs-glue
url = https://github.com/servo/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