From 04ea15ff56df225d65bc3fa0e3e05c616edee79c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20T=C5=AFma?= Date: Sat, 18 Aug 2018 22:36:06 +0200 Subject: [PATCH] Version 5.17 info --- doc.html | 2 +- gallery.html | 2 +- index.html | 25 +++++++++++++------------ 3 files changed, 15 insertions(+), 14 deletions(-) diff --git a/doc.html b/doc.html index 0a145656..aff20f84 100644 --- a/doc.html +++ b/doc.html @@ -243,7 +243,7 @@