diff Makefile.in @ 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 36a83e5558ed
children 702b483d4de7
line wrap: on
line diff