joerg 22294b39a8 Fix shell portability		2020-03-18 18:00:21 +00:00
..
patches	Fix shell portability	2020-03-18 18:00:21 +00:00
DEINSTALL
DESCR
distinfo	Fix shell portability	2020-03-18 18:00:21 +00:00
INSTALL
Makefile
MESSAGE
PLIST