Mike Fährmann 4700051562 rework and extend input file processing (#4732) ...

- add 2 command-line options to modify input file contents
  - -I/--input-file-comment
  - -x/--input-file-delete
- implement InputManager class
- move code from util.py to __init__.py
  (mainly to avoid import cycles)

2023-11-14 20:50:11 +01:00

22 KiB

Raw Blame History

View Raw