From 0d2708da32b5422985545595634db2bb0f9abea1 Mon Sep 17 00:00:00 2001
From: jsDelivr Bot <contact@jsdelivr.com>
Date: Sat, 8 Dec 2018 18:28:41 +0100
Subject: [PATCH] Replace RawGit with jsDelivr

---
 views/ref/vanilla_head.ejs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/views/ref/vanilla_head.ejs b/views/ref/vanilla_head.ejs
index bd164d3..c170429 100644
--- a/views/ref/vanilla_head.ejs
+++ b/views/ref/vanilla_head.ejs
@@ -4,4 +4,4 @@
 <%# <link rel="stylesheet" href="/css/bootstrap.css">%>
 <link rel='stylesheet' href='/css/style.css'>
 <title><%= tabTitle %></title>
-<script src="https://cdn.rawgit.com/google/code-prettify/master/loader/run_prettify.js"></script>
+<script src="https://cdn.jsdelivr.net/gh/google/code-prettify@master/loader/run_prettify.js"></script>