Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity
servo/ports
History
Kunal Mohan 94db0d61cb
Add support for launching devtools server on random port 
Assign random port to devtools server in case user does not specify a
port explicitly and report it to the embedding layer for display to user.
2020-03-16 15:30:26 +05:30
..
glutin Add support for launching devtools server on random port 2020-03-16 15:30:26 +05:30
gstplugin Updated gst plugin for new surfman-chains API 2020-03-10 15:12:33 -05:00
libmlservo Add support for launching devtools server on random port 2020-03-16 15:30:26 +05:30
libsimpleservo Add support for launching devtools server on random port 2020-03-16 15:30:26 +05:30