[Hcoop-discuss] hcoop version control: yet another episode begins

[Andrew Raines]

Adam Chlipala wrote:

> Terrence Brannon wrote:
>
>> For some reason, each time we bring up the issue of an svn
>> server, everyone agrees and it never gets done.
>
> I'm confused.  The last time this was brought up, I
> implemented exactly what members of this list suggested.

For the record, I'm already using this.  My "+1" was for some
perceived additional SVN support. :-)

-Drew