17 Jul
2013
17 Jul
'13
6:07 p.m.
On Wed, Jan 16, 2013 at 12:07 PM, <ciao(a)clip.dia.fi.upm.es> wrote:
- Is there public (read-only) access to the source repository?
Not currently, but we will set it up shortly for the new git repo.
Any updates on the new git repo or otherwise providing access to CiaoPP?
Thanks,
-- Ian Tegebo