This repository has been archived by the owner. It is now read-only.

Allow devtools close via keyboard shortcut #8565

Merged

bbondy merged 1 commit into master from close-dev-tools

May 2, 2017

There are no checks for this commit

You can’t perform that action at this time.