Hi,
I created a database from gzipped XML files, then deleted some elements (using "delete node"). Now I want to export the files again as gzipped XML files. But when I use the "Database > Export..." function of the BaseX GUI the files are exported unzipped. Question: is it possible to export the files as gzipped XML files?
Thx - Mike