Removal of the historical .txt trace file format and related scripts - #777

Merged

pmai merged 5 commits into

760-bug-in-osi-docu-on-tracefiles

Feb 26, 2024

Commits on Feb 26, 2024

Removal of the historical .txt trace file format and related scripts

PhRosenberger
authored and
pmai
committed
1f22ae2
removing format command line argument and associated functions

PhRosenberger
authored and
pmai
committed
ec6b29a
removing 1 more format option

PhRosenberger
authored and
pmai
committed
b86013e
Remove format_type arg from function call

thomassedlmayer
authored and
pmai
committed
85d8f50
Add historical note of txt format
pmai
committed
f38c922