Repository navigation

DBA: language selection and result-view improvements - #2741

Merged

ChristianGruen merged 2 commits into

BaseXdb:mainfrom

GuntherRademacher:cm6

Aug 12, 2026

Commits on Aug 11, 2026
- editor and result language selection, XML/JSON folding
  GuntherRademacher
  committed
  6edad72
- Merge branch 'main' into cm6
  GuntherRademacher
  committed
  118d9ee