FileConvert

Converts GROOPS file between different file formats (ASCII, XML, JSON, binary), see file formats for details. With an additional extension of '.gz' files are directly compressed and uncompressed. It prints also some information about the content. Therefore it can be used to get an idea about the content of binary files.

Name	Type	Annotation
outputfile	filename	GROOPS formats: .xml, .txt, .json, .dat (optional with additional .gz)
inputfile	filename	GROOPS formats: .xml, .txt, .json, .dat (optional with additional .gz)