Closed abscondment closed 12 years ago
'gen' might not be used as the directory name -- use ${gen.dir} to make sure we always get the right one.
Applied, thanks!
'gen' might not be used as the directory name -- use ${gen.dir} to make sure we always get the right one.