mirror of
https://github.com/servo/servo.git
synced 2025-10-04 02:29:12 +01:00
b98ac61a70
This is effectively superseded by the hover / any-hover media queries, which actually are standard, and is also causing trouble in the wild. Not even the browser fronted uses it, so we should be able to just remove it everywhere at once. Differential Revision: https://phabricator.services.mozilla.com/D49506 |
||
|---|---|---|
| .. | ||
| media_condition.rs | ||
| media_feature.rs | ||
| media_feature_expression.rs | ||
| media_list.rs | ||
| media_query.rs | ||
| mod.rs | ||