Jörn-Michael Miehe f926409a3f rename CONFDIR -> CONFIGDIR		2022-01-24 17:39:55 +01:00
..
html	rename CONFDIR -> CONFIGDIR	2022-01-24 17:39:55 +01:00