Nov. 20, 2016
5:42 p.m.
More and better documentation, I am all for it.
On 20 Nov 2016, at 17:26, stepharo <stepharo@free.fr> wrote:
Now we have package comments :) so we should take also advantage of them.
Stupid question, how exactly does one add package comments ? Can it only be done in the latest 6 ? Is it somehow compatible with older versions ?