5 lines
94 B
JSON
5 lines
94 B
JSON
{
|
|
"basexTools.xquery.profile": "basex-10",
|
|
"basexTools.xquery.showHovers": true,
|
|
|
|
} |