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?
--
Best regards
Michal
