Closed EighthMayer closed 4 years ago
Sorry for the delayed review. Everything looks good to me. I played a bit with the default config "ceedlingExplorer.problemMatching": { "mode": "gcc" }
and I think it is a big plus for the extension. Good job and thank you for the contribution 👍
Hello! Here's a pull request for Issue #56 .
Have a great day!