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
