Closed knikolla closed 7 months ago
Please do not merge until 12/01/2023
Closes #18
@naved001 @joachimweyl I had to rebase to fix merge conflicts from #19 and I also introduced a new command line parameter to toggle the behavior. Please re-review.
Please do not merge until 12/01/2023
Closes #18