espie 80448819a5 Handle CONFIGURE_ARGS as a list, e.g.,
SELECT DISTINCT VALUE FROM ConfigureArgs
makes sense.
2006-07-10 14:34:01 +00:00
..