:ext:mj@ssh.cs.brown.edu:/pro/dpg/CVSROOT
