Michele Guerini Rocco 75c30ee834 move manual into a doc subdirectory		2021-12-15 02:30:51 +01:00
..
gray.1	move manual into a doc subdirectory	2021-12-15 02:30:51 +01:00