Tobias Hunger 6c7b070079 Create editor folder (#999) ... Add an `editor` folder ... and move all documentation, configuration files, plugins, etc. for different editors there.		2022-03-02 20:21:24 +01:00
..
prepare_binary_package.sh	Update copyright information to reflect name change	2022-02-09 10:27:47 +01:00
prepare_vscode_nightly.sh	Create editor folder (#999)	2022-03-02 20:21:24 +01:00
publish.sh	Fix the feature name in the build script	2022-02-10 09:13:17 +01:00