From 9cfe6e3879c9824ac404ce73575e3cc160aa1830 Mon Sep 17 00:00:00 2001
From: Mihai Baltac <bbaltac.mihai@gmail.com>
Date: Tue, 6 Feb 2018 13:42:48 +0100
Subject: [PATCH] first commit on doc branch, with CI doc generation in place

---
 docs/generate.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 docs/generate.sh

diff --git a/docs/generate.sh b/docs/generate.sh
old mode 100644
new mode 100755
-- 
GitLab