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(-)