comparison config.bat @ 47717:fa03f030aca0

Remove reference to SERVER_HOME_DIR completely.
author Markus Rost <rost@math.uni-bielefeld.de>
date Tue, 01 Oct 2002 00:45:30 +0000
parents aaff735de38e
children 695cf19ef79e d7ddb3e565de
comparison
equal deleted inserted replaced
47716:2589e6117a86 47717:fa03f030aca0