3 Commits

Author	SHA1	Message	Date
Michele Guerini Rocco	850dc3a737	doc/gray.ini.5: fix some typos	2024-05-21 13:57:16 +02:00
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