Dirk Froemberg 8efdb7c230 Solve ming support problem if ${WRKDIRPREFIX} is set. ... Noticed by: Arcady Genkin <a.genkin@utoronto.ca>		2001-03-14 23:11:43 +00:00
..
configure.php	Solve ming support problem if ${WRKDIRPREFIX} is set.	2001-03-14 23:11:43 +00:00