Hi Bruce,
> Actually, another discussion would be why we have src/tools/codelines in
> the git tree at all. I added it in 2005 to use in counting code lines,
> and I thought we could consider it our standard method, but I am not
> sure anyone aside from me even uses it, and it is clear there are
> multiple methods people consider valid. Should we just remove it?
I think we should.
--
Best regards,
Aleksander Alekseev
