Commit fa78be8c authored by Robert P. Goldman's avatar Robert P. Goldman
Browse files

Changing repo to be git, instead of darcs.

parent 8a298b58
......@@ -30,6 +30,14 @@
<font color=red>Repository:</font> <br>&nbsp;<br>
<p>We are moving away from darcs and now using git:</p>
<code>git clone</code>
<p>The old darcs repository is still available, but may go away at any time.
It is not clear that anyone will keep it in sync with the git repo.</p>
<code>darcs get</code>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment