Closed SimonDanisch closed 4 months ago
Just a small clean up for https://github.com/SimonDanisch/Bonito.jl/pull/218
Just a small clean up for https://github.com/SimonDanisch/Bonito.jl/pull/218