diff config.bat @ 15131:1cc4d788d272

Check if INSTALL_DIR is passed as an argument. ,
author Geoff Voelker <voelker@cs.washington.edu>
date Fri, 03 May 1996 18:19:57 +0000
parents 6f4dd53a62d4
children 80562f089595
line wrap: on
line diff