jstaerk bad94911d9 corrected filename capitalization for linux builds

2023-03-06 15:45:28 +01:00

..

java/org/mustangproject/validator

corrected filename capitalization for linux builds

2023-03-06 15:45:28 +01:00

resources

change of order is not allowed in prefix acc to https://www.w3.org/TR/xml/#NT-VersionInfo

2022-12-01 16:59:06 +01:00