Revision 499610a1d1e2a71d826bd585542d68d9a2d81901

Committed on 15/02/2019 4:59 pm by Maxim Strukov <mxmstrv@gmail.com> [GitHub Diff]

added highlight and clickable labels on left menu