Merge pull request #195 from atom/undocked-devtools
authorCheng Zhao <zcbenz@gmail.com>
Tue, 4 Mar 2014 12:08:26 +0000 (12:08 +0000)
committerCheng Zhao <zcbenz@gmail.com>
Tue, 4 Mar 2014 12:08:26 +0000 (12:08 +0000)
Disable the detachment of devtools


Trivial merge