@echo off\r
rem ----------------------------------------------------------------------\r
rem Auxiliary script for MSDOS, run by ../config.bat\r
@echo off\r
rem ----------------------------------------------------------------------\r
rem Auxiliary script for MSDOS, run by ../config.bat\r