diff src/browser/public/libervia.html @ 714:03e9fe91081c

browser_side: use favico.js to display alerts counter
author souliane <souliane@mailoo.org>
date Mon, 20 Jul 2015 10:18:02 +0200
parents 981ed669d3b3
children
line wrap: on
line diff
--- a/src/browser/public/libervia.html	Wed Jul 15 13:34:17 2015 +0200
+++ b/src/browser/public/libervia.html	Mon Jul 20 10:18:02 2015 +0200
@@ -27,6 +27,7 @@
 </head>
 <body bgcolor="white">
 <script language="javascript" src="bootstrap.js"></script>
+<script language="javascript" src="favico.min.js"></script>
 <iframe id='__pygwt_historyFrame' style='display:none;width:0;height:0;border:0'></iframe>
 </body>
 </html>