blob: 66cd956d3273056f6f900cf2650e81dba93ceffe [file] [log] [blame]
<!--
Include here all the additional JavaScript you may want to use
for giving a more dynamic UX for the GitHub plugin.
-->
<script type='text/javascript' src='js/jquery-1.10.2.min.js'></script>
<script type='text/javascript' src='js/jquery.cookie.min.js?ver=3.0'></script>