Closed vmcj closed 3 years ago
I haven't tested this with PHPstorm yet, but if doing this manually in the container it works together with: https://github.com/DOMjudge/domjudge/pull/954 or https://github.com/DOMjudge/domjudge/pull/952
@nickygerritsen I think you're using this the most (the image)
I haven't tested this with PHPstorm yet, but if doing this manually in the container it works together with: https://github.com/DOMjudge/domjudge/pull/954 or https://github.com/DOMjudge/domjudge/pull/952
@nickygerritsen I think you're using this the most (the image)