diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-08-23 02:45:21 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-08-23 02:45:21 -0600 |
| commit | 46069561208f96e7be1fc55c4256863b853c843b (patch) | |
| tree | 03a91e29fa4fcd0255a3d7b23bec2e84416e0292 | |
| parent | 35bbe51daf00f2440bfcc6b34433a917c903ad66 (diff) | |
| parent | 8d08fdab96343b8fb913ccabd38d68ce49c193ad (diff) | |
| download | servo-46069561208f96e7be1fc55c4256863b853c843b.tar.gz servo-46069561208f96e7be1fc55c4256863b853c843b.zip | |
Auto merge of #7325 - dvberkel:remove-time-from-ORGANIZATION, r=Ms2ger
Remove unused support/time from ORGANIZATION.md
As detailed in the explanation of `support/time`, it should be temporarily. In this case the documentation lags behind the reality. `support/time` was removed in commit e2912a855275bb468f71212b3da15f64237332de so it seems appropriate to remove it from `ORGANIZATION.md` as well.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/7325)
<!-- Reviewable:end -->
| -rw-r--r-- | ORGANIZATION.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ORGANIZATION.md b/ORGANIZATION.md index 671fdc6b742..ca97aa0d625 100644 --- a/ORGANIZATION.md +++ b/ORGANIZATION.md @@ -26,7 +26,6 @@ special integration: * [`support/android`][support/android]: Android-specific infrastructure. * [`support/android-rs-glue`][support/android-rs-glue]: Android apk builder. * [`support/rust-task_info`][support/rust-task_info]: A binding to the task_info library on OS X. -* `support/time`: A temporary fork of libtime required for Android. ## Tests |