On Fri, Mar 13, 2015 at 02:04:21PM +0100, Jakob Eriksson wrote: > Github.com is more than a repo, it's a community of developers.
Hmm, this may well be. I have no idea, as I personally have no deep interest in code repositories. We discussed and discuss such things in IRC usually. Those who offer their help first win ;) ♪♫ Alex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe