Federico Fissore 3bcbf22a2a Libraries under "contributed" in lib menu are those that have types "contributed"

2015-03-27 14:51:20 +01:00

..

LegacyUserLibrary.java

LibraryManager: category is now topic, type added to list official/contributed/recommended libs

2015-03-27 14:51:19 +01:00

LibraryList.java

Libraries under "contributed" in lib menu are those that have types "contributed"

2015-03-27 14:51:20 +01:00

UserLibrary.java

LibraryManager: better type filtering

2015-03-27 14:51:19 +01:00