Document structure better

Closes #1648
2026-05-05 12:05:18 +02:00 · 2020-05-17 16:53:08 -04:00
parent aee2599904
commit 6a25b3bfa0
8 changed files with 164 additions and 191 deletions
--- a/ci/dev/diff-vscode.sh
+++ b/ci/dev/diff-vscode.sh
@@ -5,6 +5,7 @@ main() {
  cd "$(dirname "$0")/../.."

  cd ./lib/vscode
+  git add -A
  git diff HEAD > ../../ci/dev/vscode.patch
 }