docs: use title case in plugin.xml description headings

This commit is contained in:
Johannes Frohnmeyer 2024-05-26 09:46:02 +02:00
parent 6aa10157eb
commit 48c9158a59
Signed by: Johannes
GPG Key ID: E76429612C2929F4

View File

@ -17,14 +17,14 @@
Upload potential solutions to a DOMjudge instance without leaving your IDE.<br> Upload potential solutions to a DOMjudge instance without leaving your IDE.<br>
Intended mostly for use in the context of the KITs "Basispraktikum zum ICPC-Programmierwettbewerb" course.<br> Intended mostly for use in the context of the KITs "Basispraktikum zum ICPC-Programmierwettbewerb" course.<br>
<br> <br>
FEATURES:<br> Features:<br>
<ul> <ul>
<li>Simple, one-click submissions and feedback (no need for File Explorer or reloading!)</li> <li>Simple, one-click submissions and feedback (no need for File Explorer or reloading!)</li>
<li>View problems and problem statements without leaving your IDE</li> <li>View problems and problem statements without leaving your IDE</li>
<li>Unobtrusive and integrated</li> <li>Unobtrusive and integrated</li>
<li>Detects the language of submitted files</li> <li>Detects the language of submitted files</li>
</ul> </ul>
NOTE: This is NOT developed by the DOMjudge maintainers and is not officially supported by them.<br> Note: This is NOT developed by the DOMjudge maintainers and is not officially supported by them.<br>
]]></description> ]]></description>
<!-- Product and plugin compatibility requirements. <!-- Product and plugin compatibility requirements.