5 Jun
2015
5 Jun
'15
10:20 p.m.
On 6/5/15 2:35 PM, Andrey Semashev wrote:
On Friday 05 June 2015 13:51:52 Robert Ramey wrote:
On 6/5/15 12:04 PM, Andrey Semashev wrote:
I don't think comments make the documentation any clearer. If you feel some library docs can be improved then just create a pull request. Adding comments would just contribute to the mess.
Hmmm - I suppose that this raises the question as to whether the viewer can easily hide/show the comments. That would seem to address any concerns along these lines. Robert Ramey