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...