From 79a6be3703ab441010635fcd21ce1df8d0008e95 Mon Sep 17 00:00:00 2001 From: jsDelivr Bot Date: Thu, 6 Dec 2018 15:17:22 +0100 Subject: [PATCH] Replace RawGit with jsDelivr --- Adam/Adam_include.html | 2 +- Andrej/Andrej_include.html | 2 +- Robert/Robert_include.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Adam/Adam_include.html b/Adam/Adam_include.html index a838dfc..5b7b250 100644 --- a/Adam/Adam_include.html +++ b/Adam/Adam_include.html @@ -1 +1 @@ - + diff --git a/Andrej/Andrej_include.html b/Andrej/Andrej_include.html index 4933bd0..8f6ab66 100644 --- a/Andrej/Andrej_include.html +++ b/Andrej/Andrej_include.html @@ -1 +1 @@ - + diff --git a/Robert/Robert_include.html b/Robert/Robert_include.html index f7825dc..9a567fc 100644 --- a/Robert/Robert_include.html +++ b/Robert/Robert_include.html @@ -1 +1 @@ - +