Revision 5da6a188f4b2bc07a8f832c1532d51695562d8c4

Committed on 18/03/2020 8:06 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Migrate vertical whitespace plugin to new structure