Daniel Amesberger

Results 2 comments of Daniel Amesberger

Yeah, this was also my first thought for this great tool. Here is a PR #5 implementing the basics as a starting point. It does not yet take the current...

Sorry, I completely missed that comment. Sure, go ahead, it was just a quick fix and I am not that deep into that codebase, and time is scarce at the...