Changes between Version 39 and Version 40 of GitRepositories


Ignore:
Timestamp:
06/13/13 15:33:23 (6 years ago)
Author:
welberge
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GitRepositories

    v39 v40  
    4040 
    4141 
    42 With the soa tool you can clone easily using e.g. 
     42With the soa script (see https://hiro.techfak.uni-bielefeld.de/twiki/bin/view/SociableAgents/SoaScript for installation instructions) you can clone easily using e.g. 
    4343{{{ 
    4444soa clone Asap