Ms2ger 422b6bd223 Fix comments in devtools. ...

In particular, use the right kind of documentation comments.

2015-05-14 13:10:40 +02:00

..

console.rs

Fix comments in devtools.

2015-05-14 13:10:40 +02:00

framerate.rs

Start using on_refresh_driver_tick #5681

2015-05-06 02:08:39 +07:00

inspector.rs

Fix comments in devtools.

2015-05-14 13:10:40 +02:00

memory.rs

Firefox timeline integration #4957

2015-04-13 21:08:07 +07:00

network_event.rs

Fix comments in devtools.

2015-05-14 13:10:40 +02:00

root.rs

Remove int/uint from devtools/devtools_traits.

2015-04-06 10:14:57 -04:00

tab.rs

Fix comments in devtools.

2015-05-14 13:10:40 +02:00

timeline.rs

Start using on_refresh_driver_tick #5681

2015-05-06 02:08:39 +07:00

worker.rs

Firefox timeline integration #4957

2015-04-13 21:08:07 +07:00