Merge branch 'master' into master

This commit is contained in:
Loredana Crusoveanu
2020-06-22 10:58:31 +03:00
committed by GitHub
1926 changed files with 2092 additions and 476704 deletions
@@ -1,9 +1,8 @@
http.port=8080
server.port=8443
security.require-ssl=true
server.ssl.enabled=true
# The format used for the keystore
server.ssl.key-store-type=PKCS12