tools: remove src/tools/codelines This is a one-line script never gained general usage since being added in 2005.
Backpatch-through: master Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/c0bc9af15197e3604a6ec205a7485de21b0b21af Modified Files -------------- src/tools/codelines | 7 ------- 1 file changed, 7 deletions(-)
