Closed FabianMuli closed 5 years ago
Actually, it might be beneficial to have this folder in a repo, I share recommended extensions this way for example. See https://stackoverflow.com/a/32979933/4536543 But probably even better to create a workspace file anyway, so doesn't really matter...
thanks!