diff options
| -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 |