tools: remove src/tools/codelines

Bruce Momjian <bruce@momjian.us>

Commit: c0bc9af15197e3604a6ec205a7485de21b0b21af
Author: Bruce Momjian <bruce@momjian.us>
Date: 2025-11-22T17:02:14Z
tools:  remove src/tools/codelines

This is a one-line script never gained general usage since being added
in 2005.

Backpatch-through: master

Files

PathChange+/−
src/tools/codelines deleted +0 −7