diff configure @ 7619:dd01f9afcd45

forgot docs (again ...)
author michael
date Sun, 06 Oct 2002 16:01:54 +0000
parents 95c38a7d5240
children b1a3b979c630
line wrap: on
line diff