Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Re-add Reinitialize #206

Merged
merged 1 commit into from
May 3, 2017
Merged

Re-add Reinitialize #206

merged 1 commit into from
May 3, 2017

Conversation

jeffyoung
Copy link
Contributor

I should not have removed it earlier (the command is used when clicking on an error in the status bar).

@jeffyoung jeffyoung merged commit d5a4a98 into master May 3, 2017
@jeffyoung jeffyoung deleted the jeyou/reinitialize branch May 3, 2017 19:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants