nia 7216bbd505 htmldoc: don't just install desktop files on Linux		2021-05-15 07:22:39 +00:00
..
DESCR
Makefile	htmldoc: don't just install desktop files on Linux	2021-05-15 07:22:39 +00:00