cert: remove obsolete suggestion you need a dedicated IP for TLS
[hcoop/portal.git] / static / sources.cm
CommitLineData
27e48ace
AC
1Group is
2 $/basis.cm
4b210a5d 3 $/smlnj-lib.cm
d22be370
CE
4 /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/libpq/sources.cm
5 /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/mlt/src/lib/sources.cm
6
7 ../config.sig
8 ../config.sml
27e48ace
AC
9
10 gen.sig
11 gen.sml