Closed bash closed 1 year ago
Resolves #742
Dang it, I thought I could get away with not adjusting the code by commenting "Copied from ..." :))
I rewrote everything now to fit our code style.
Resolves #742