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