mirror of
https://github.com/servo/servo.git
synced 2025-08-04 13:10:20 +01:00
Rename widget to platform
This commit is contained in:
parent
1afd636fab
commit
9e37dd65cb
2 changed files with 1 additions and 1 deletions
|
@ -37,7 +37,7 @@ mod parser {
|
||||||
mod html;
|
mod html;
|
||||||
}
|
}
|
||||||
|
|
||||||
mod widget {
|
mod platform {
|
||||||
mod base;
|
mod base;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue