Closed wadoon closed 2 months ago
This pull request addresses #.
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.
Issues 0 New issues 0 Accepted issues
Measures 0 Security Hotspots 0.0% Coverage on New Code 0.0% Duplication on New Code
See analysis details on SonarCloud
Related Issue
This pull request addresses #.
Intended Change
Plan
Type of pull request
Ensuring quality
Additional information and contact(s)
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.