Skip to content

Add "Manage libraries..." to the "Tools" menu too and add a shortcut for it.#6638

Merged
cmaglie merged 5 commits intomasterfrom
unknown repository
Oct 30, 2017

Commits

Commits on Sep 15, 2017

Commits on Oct 27, 2017