Skip to content

Migrate to Codicon for the document symbols#241

Merged
jdneo merged 2 commits intomasterfrom cs/iconMar 12, 2020

Commits

Commits on Mar 12, 2020