| <!-- | |
| 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> | |
| <script src="js/datatables/jquery.datatables.min.js"></script> | |
| <script src="js/underscore-min.js"></script> |