diff options
| author | Matt Brubeck <mbrubeck@limpet.net> | 2015-01-28 08:43:41 -0800 |
|---|---|---|
| committer | Matt Brubeck <mbrubeck@limpet.net> | 2015-01-28 08:43:41 -0800 |
| commit | e2912a855275bb468f71212b3da15f64237332de (patch) | |
| tree | 60b272b133e658423a297250e98635a2ff30f5c5 | |
| parent | 0f81e7088225d03b363e337a9d1da5ab36c44064 (diff) | |
| download | servo-e2912a855275bb468f71212b3da15f64237332de.tar.gz servo-e2912a855275bb468f71212b3da15f64237332de.zip | |
Remove the unused support/time submodule.
Fixes #4748. r? @jdm
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | support/time | 0 |
2 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 62bfa714d71..cbc43176bd7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -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 diff --git a/support/time b/support/time deleted file mode 160000 -Subproject 41ecbd6f0fbec92c4b2ac312e853fccdbe63d89 |