[*]
# -- The decision about language, region and encoding
# -- is left up to the LANG environment variable now.
# /ui/lang		=	en
# /ui/lang		=	de
# /ui/lang/env		=	off
/dir/tmp		=	$(user.home)/tmp
/log/file/name		=	$(temp.dir)/$(app.name).$(process.pid).log
/log/file/level		=	progress
/log/file/keep		=	error
/log/file/time		=	on
/log/file/split		=	on
/log/stdout/level	=	none
/log/stdout/time	=	off
/log/stderr/level	=	error
/log/stderr/time	=	off
/log/stderr/split	=	off