Changes between Version 42 and Version 43 of WikiStart


Ignore:
Timestamp:
26 Aug 2014, 16:53:10 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

Fix git URL

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v42 v43  
    3838You can get !EasyCrypt via our public git repository ([https://ci.easycrypt.info/trac/browser browse]):
    3939
    40   git clone !http://ci.easycrypt.info/easycrypt.git
     40  git clone !git://ci.easycrypt.info/easycrypt
    4141
    4242Installation instructions can be found in the [source:README@1.0 README] file,