/
Genesis-1.0p36-DEV/
Genesis-1.0p36-DEV/bin/
Genesis-1.0p36-DEV/doc/
Genesis-1.0p36-DEV/etc/
Genesis-1.0p36-DEV/src/data/
#
# keep the names short
#
cdc	yes	"ColdC"
veil	yes	"VEIL"
web	yes	"Web"
#ssl	no	"SSL"
#prodb	no	"PROGRESS support"
ext_math	yes	"Math"