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 <Gilles.Peskine@arm.com>
2024-11-05 18:00:43 +01:00
..
2024-09-26 15:19:36 +01:00