HTTPS vs. HTTP, no insecure javascript allowed
--- a/trig/index.html Tue Aug 27 09:26:52 2013 -0700
+++ b/trig/index.html Tue Aug 27 09:29:55 2013 -0700
@@ -4,7 +4,7 @@
<title>TriG</title>
<meta http-equiv='Content-Type' content='text/html;charset=utf-8'/>
<script src='https://ajax.googleapis.com/ajax/libs/jquery/1.6.2/jquery.min.js' class='remove'></script>
- <script src='http://darobin.github.com/respec/builds/respec-w3c-common.js' async class='remove'></script>
+ <script src='https://raw.github.com/darobin/respec/develop/builds/respec-w3c-common-3.1.36.js' async class='remove'></script>
<script class='remove'>
$.fn.renameElement = function (name) {
return this.each(function () {