9 Apr
2016
9 Apr
'16
1:50 a.m.
Great suggestion, done... Thanks, -- Javier On Fri, Apr 8, 2016 at 7:43 PM, Justin Dray <justin@dray.be> wrote:
Just use git to clone it. Packages don't get removed from the repo, just hidden from the web interface.
-- Javier