tree d4ebd825effc1da44878ca81b41d1426fd25727c
parent 5225ed0a610ff06e95addf3ab29ee02715e72aa3
author margaretha <margaretha@ids-mannheim.de> 1530021647 +0200
committer margaretha <margaretha@ids-mannheim.de> 1530021647 +0200

Added JWK-set web-controller listing kustvakt public keys.

Change-Id: If8244161d7979008c65e3de5b9154cc5dd427a17