Hello! I try to use this file ( https://github.com/apache/jena/blob/main/jena-fuseki2/examples/fuseki-jetty-https.xml) to configure Jetty in Fuseki (used option "--jetty-config fuseki-jetty-https.xml" for Fuseki).
Where should I setup <Property> values? In Jetty documentation I find that <Property> values could be configured by *.ini or *.properties files, but I don't understand where to place such files in this case. I also tried to find answer in Fuseki and Jetty source code, but without success. Vladimir
