Skip to content
Snippets Groups Projects
Select Git revision
22 results Searching

settings.json

Robert Goldmann's avatar
Fixed #54 - change file type from properties to json for server settings.properties
Robert Goldmann authored
d3fdfbdd
History