add support for additional options for sonar.properties. Closes: #30#31

Open

gmenuel wants to merge 1 commit intomarkt-de:mainfrom gmenuel:support_additional_options

+23-1

Commits on Nov 7, 2023

add support for additional options for sonar.properties. Closes: markt-de#30
Grégoire Menuel
committed