RedirectDF.config
ReleaseDF:
CONFIGURATION
IMPORTS Commander, CommandTool, Rope,
IO,
FS
CONTROL RedirectDFDriver =
BEGIN
RedirectDFDriver
END.