Hi Michal, sounds good! Maybe let Ketil comment as well. And I think the individual authors of the libraries can do the fine-tuning of moving libs or writing a small explanation for each lib.
=== Regarding github: I do not see any advantage to my own github account (choener). Is there any? Especially since we had the library split because we are so ``decentralized'' and don't really have a library where everyone works on at the same time. Gruss, Christian * Michał J Gajda <mjga...@gmail.com> [24.11.2013 18:35]: > Dear All, > Ok, I will try to merge /Libraries and /LibrarySplit pages, and then ask > you for corrections. > I also thought about setting up an organizational account on GitHub, that > would include source repos for all packages that use it? Anybody in > favour? Anybody against? Or do you think it should be optional? > -- > A Best regards > A A Michal > a**
pgpS53NhYYsJP.pgp
Description: PGP signature
