HCoop
/
hcoop
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
A bundle of minor improvements
[hcoop/portal.git]
/
mlt.conf
diff --git
a/mlt.conf
b/mlt.conf
index
4b27a02
..
e5ea120
100644
(file)
--- a/
mlt.conf
+++ b/
mlt.conf
@@
-6,7
+6,9
@@
after after
exn exn
out out
exn exn
out out
-pub /
var/www/users.hcoop.net/cgi/hcoop
+pub /
afs/hcoop.net/user/h/hc/hcoop/portal-tools/cgi/portal
-cm /usr/local/share/smlsql/smlsql.cm
-cm /usr/local/share/smlsql/libpq/sources.cm
+cm $/smlnj-lib.cm
+cm $c/c.cm
+cm /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/smlsql.cm
+cm /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/libpq/sources.cm