Files
Gilles Peskine cb27d4f7a2 Use standard code instead of the homemade FileWrapper
We had a home-made FileWrapper class, written in the days of Python 2,
whose main purpose was to add line numbers. Use the standard class fileinput
instead.

Signed-off-by: Gilles Peskine <[email protected]>
2024-11-05 18:00:43 +01:00
..
2024-09-26 15:19:36 +01:00