7 Oct
2013
7 Oct
'13
11:47 p.m.
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