Merge branch 'feature/gitignore-add-vscode' into 'master'

[gitignore] Add vscode settings folder to gitignore

See merge request !2740

(cherry picked from commit 1163361a)

3abbc588 [gitignore] Add vscode settings folder to gitignore
5 jobs for !2741 with cherry-pick-1163361a
latest detached
Status Name Job ID Coverage
  Trigger
manual full-dune-2.7-clang
manual full-dune-2.7-gcc
manual full-dune-master-gcc
manual minimal-dune-2.7-gcc
 
  Downstream Modules
created trigger lecture