From 7cd12dd0f02ce8e799ec71e618d78ee3198154d5 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Tue, 15 Oct 2013 10:53:45 -0600
Subject: [PATCH] Use https cdn

---
 pkgs/plt-services/meta/pkg-index/official/static/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.html b/pkgs/plt-services/meta/pkg-index/official/static/index.html
index 9d9e38d6f1..5e660609ba 100644
--- a/pkgs/plt-services/meta/pkg-index/official/static/index.html
+++ b/pkgs/plt-services/meta/pkg-index/official/static/index.html
@@ -4,8 +4,8 @@
     <title>Packages</title>
     <script src="/sorttable.js"></script>
     <link rel="stylesheet" href="/plt-theme/jquery-ui-1.10.3.custom.min.css" />
-    <script src="http://code.jquery.com/jquery-1.10.1.min.js"></script>
-    <script src="http://code.jquery.com/ui/1.10.3/jquery-ui.js"></script>
+    <script src="//code.jquery.com/jquery-1.10.1.min.js"></script>
+    <script src="//code.jquery.com/ui/1.10.3/jquery-ui.js"></script>
     <script src="/index.js"></script>
     <link rel="stylesheet" href="/style.css">
   </head>