2 Commits

Author	SHA1	Message	Date
Michele Guerini Rocco	a596b0dff2	add gray-convert tool ... This is a command line tool to convert between different GRAY configuration file formats.	2024-04-22 19:09:29 +02:00
Michele Guerini Rocco	38a8edd439	doc: reorganize example input files	2024-02-16 00:38:43 +01:00