update: convert to pug

2018-09-06 11:25:52 +02:00
parent a7d8a91457
commit facbd376bc
55 changed files with 410 additions and 478 deletions
@@ -10,6 +10,6 @@ dist/html/*

 # Files
 index.html
-config.php
+config.pug
 issues.md
 oidc-client-preprod-config.json