isidor 8d4c154005 Root folders need a different icon as regular folders ...

fixes #30998

2017-07-26 09:31:48 +02:00

..

fileicons

Root folders need a different icon as regular folders

2017-07-26 09:31:48 +02:00

themes

Do not use special color for multi root workspace (fixes #31007)

2017-07-19 18:40:35 +02:00

package.json

themes as settings

2017-02-15 17:07:01 +01:00