hlm.bat
author dario
Thu, 07 May 2009 11:31:35 +0100
changeset 78 f50ee414b574
parent 0 571f289c60b8
permissions -rw-r--r--
Reimplemented --check as the previous version didn't work (also most of the arguments are parameterized now)

@echo off
setlocal
call %~dp0common\hlm.bat %*
endlocal