Plugin Chooser: Ensure official plugin library is shown first

This commit is contained in:
Jeremy Ruston 2020-04-13 11:45:06 +01:00
parent 4529123777
commit 4bbc58dd24
1 changed files with 2 additions and 0 deletions

View File

@ -0,0 +1,2 @@
title: $:/tags/PluginLibrary
list: $:/config/OfficialPluginLibrary