Jinwoo Song 0f664b02fd servo: Merge #5818 - Remove unused ScriptDevtoolControlMsg enum (from Jinwoo-Song:removeUnused); r=mbrubeck ... Simple patch to remove unused enum, ScriptDevtoolControlMsg. r? @jdm cc @yichoi Source-Repo: https://github.com/servo/servo Source-Revision: ef1e50aa770e48018ae32ea5f6f2c0ad2056ad44		2015-04-23 22:50:32 -05:00
..
Cargo.toml	servo: Merge #5636 - Firefox timeline integration #4957 (from JIoJIaJIu:timeline); r=jdm	2015-04-13 12:44:49 -05:00
lib.rs	servo: Merge #5818 - Remove unused ScriptDevtoolControlMsg enum (from Jinwoo-Song:removeUnused); r=mbrubeck	2015-04-23 22:50:32 -05:00