fav

gen.html

@@ -11,6 +11,7 @@
   <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/js/bootstrap.min.js" integrity="sha384-ChfqqxuZUCnJSK3+MXmPNIyE6ZbWh2IMqE241rYiqJxyMiZ6OW/JmZQ5stwEULTy" crossorigin="anonymous"></script>
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
   <script src="prngCheck.js"></script>
+  <script src="favicon.js"></script>
   <script src="openpgp.min.js"></script>
   <script>
   openpgp.initWorker({ path:'openpgp.worker.min.js' }) // set the relative web worker path