From cde6237b44e1e445e0935473c40fd3d2377e820b Mon Sep 17 00:00:00 2001
From: Roy Meissner <meissner@informatik.uni-leipzig.de>
Date: Wed, 15 Nov 2017 14:48:11 +0100
Subject: [PATCH] Readded Reveal.js as a Git Submodule

---
 .gitmodules              | 2 +-
 custom_modules/reveal.js | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 160000 custom_modules/reveal.js

diff --git a/.gitmodules b/.gitmodules
index a735097e5..3ff1268e8 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -3,4 +3,4 @@
 	url = https://github.com/slidewiki/custom-semantic-ui.git
 [submodule "custom_modules/reveal.js"]
 	path = custom_modules/reveal.js
-	url = https://github.com/slidewiki/reveal.js
+	url = https://github.com/slidewiki/reveal.js.git
diff --git a/custom_modules/reveal.js b/custom_modules/reveal.js
new file mode 160000
index 000000000..a1f8f7c2c
--- /dev/null
+++ b/custom_modules/reveal.js
@@ -0,0 +1 @@
+Subproject commit a1f8f7c2c15c640b36107a6e4185955e9c584bee