From 9a81554ec7e677c6b9a5ea95def7be97ac4aabf9 Mon Sep 17 00:00:00 2001 From: Stefano Pigozzi Date: Wed, 24 Apr 2019 02:09:19 +0200 Subject: [PATCH] Don't use jekyll in docs --- docs/.nojekyll | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 docs/.nojekyll diff --git a/docs/.nojekyll b/docs/.nojekyll new file mode 100644 index 00000000..e69de29b