add TOC

Jenkinsfile

@@ -111,6 +111,7 @@ pipeline {
                         git branch -D development
                         git branch -D jenkins-build-$BUILD_NUMBER
                         git rm -f Jenkinsfile
+                        git rm -r .vscode
                         git commit --amend --no-edit --allow-empty
                         git remote add master https://gitea.confdroid.com/confdroid/confdroid_prometheus.git
                         git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \