Closed EinarDarri closed 1 month ago
I just installed problemtools and it seams that the latest merge #253 added an error
this error is showing up on all problems that I try to verify
Hi, this is my fault, I merged something and forgot to check. You can use #256 until it is merged
I just installed problemtools and it seams that the latest merge #253 added an error
this error is showing up on all problems that I try to verify