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

Show instruction info in gutter tooltip for lines that are correct. #4

Open

facundoq opened this issue Apr 1, 2017 · 0 comments

Labels

enhancement good first issue webapp

Milestone

Owner

facundoq commented Apr 1, 2017

No description provided.

facundoq added the enhancement label

facundoq modified the milestone: Polish

facundoq added documentation webapp and removed documentation labels

facundoq added the good first issue label

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