This repository has been archived by the owner on May 3, 2019. It is now read-only.

Add shortcut to open web developer tools #80

Closed

ColinDuquesnoy opened this issue Jul 21, 2017 · 0 comments

Assignees

Labels

feature

Milestone

Owner

ColinDuquesnoy commented Jul 21, 2017 •

edited

Loading

No description provided.

ColinDuquesnoy added the feature label

ColinDuquesnoy added this to the 3.1 milestone

ColinDuquesnoy self-assigned this

ColinDuquesnoy closed this as completed in

c4ce8d5

cpjeanpaul mentioned this issue

Saved setting lost #262

Closed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.