diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-24 10:31:05 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-24 10:31:05 +0000 |
| commit | b3c7bd8e6bcf1a556013424d5728994d80b4412d (patch) | |
| tree | a12e8e159d5e84290cd8c0411477277c85c7834f /doc/darcs.html | |
| parent | a19713835717650440591914ca866addcc88e5b5 (diff) | |
Emphasize need to use momo.
Diffstat (limited to 'doc/darcs.html')
| -rw-r--r-- | doc/darcs.html | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/doc/darcs.html b/doc/darcs.html index 4df7bf99c..0de04ed4b 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -197,10 +197,8 @@ Chalmers system): <P></P> <P> This sets up an alias <CODE>gfreposerver</CODE> for the server we use -for the Darcs repository. Note that you really need to use -<CODE>momo.medic.chalmers.se</CODE> (or some other server with the new Linux system) -since we need to have a server with Darcs 1.0.4. If you use some server -with an earlier Darcs version you can mess up the repository. +for the Darcs repository. +Note that <B>you really need to use <CODE>momo.medic.chalmers.se</CODE></B> (or some other server with the new Linux system) since we need to have a server with Darcs 1.0.4. If you use some server with an earlier Darcs version you can mess up the repository. </P> <P> More information about the ControlMaster feature is available in |