Servers that run mlton...

Geoffrey Plitt ggp@andrew.cmu.edu
Mon, 25 Feb 2002 04:09:00 -0500


I got it. Stephen Weeks told me about setting the 'root' variable in the
/usr/local/bin/mlton script to my relative dir.

-Geoff