From 877aa9ef493bf5c6bcb3505fb32fbeef4a7fad05 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Filip=20Grali=C5=84ski?= Date: Mon, 30 Jul 2018 10:59:06 +0200 Subject: [PATCH] more height for param graphs --- templates/param-graphs.hamlet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/templates/param-graphs.hamlet b/templates/param-graphs.hamlet index bbd0793..58d1371 100644 --- a/templates/param-graphs.hamlet +++ b/templates/param-graphs.hamlet @@ -6,7 +6,7 @@ $if not (null params) #{param} $forall test <- selectedTests -