alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/ajax/ltl2tgba.html: Add a favicon link.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-06-15 09:56:35 +02:00
parent b0193e1418
commit 601fbedbf6
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
wrap/python/ajax/ltl2tgba.html
View file

@ -9,6 +9,8 @@
<link rel="stylesheet" href="css/ui-lightness/jquery-ui-1.8.13.custom.css"> <link rel="stylesheet" href="css/ui-lightness/jquery-ui-1.8.13.custom.css">
<link rel="stylesheet" href="css/tipTip.css"> <link rel="stylesheet" href="css/tipTip.css">
<link rel="stylesheet" href="css/ltl2tgba.css"> <link rel="stylesheet" href="css/ltl2tgba.css">
<link rel="icon" href="http://spot.lip6.fr/img/favicon.ico" type="image/x-icon">
<link rel="shortcut icon" href="http://spot.lip6.fr/img/favicon.ico" type="image/x-icon">
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js"></script> <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js"></script>
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script> <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
<script type="text/javascript" src="js/jquery.tipTip.minified.js"></script> <script type="text/javascript" src="js/jquery.tipTip.minified.js"></script>