From d087a12281a81b5ea192c2d8d615636d68ba7c50 Mon Sep 17 00:00:00 2001 From: TravisBot <> Date: Mon, 2 Apr 2018 23:37:32 +0000 Subject: [Travis] Rebuilding documentation --- globals_type.html | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) (limited to 'globals_type.html') diff --git a/globals_type.html b/globals_type.html index 3460d6c9..cf6b6489 100644 --- a/globals_type.html +++ b/globals_type.html @@ -4,7 +4,7 @@ -