From 0a7e16946567bd2f85193943ec6d355f9ee4b437 Mon Sep 17 00:00:00 2001 From: lyxia Date: Wed, 15 Nov 2017 16:21:43 -0500 Subject: [PATCH 1/4] Add option for full unit name --- site/index.html | 6 +++--- site/js/gipeda.js | 2 ++ src/BenchNames.hs | 15 ++++++++++----- src/BenchmarkSettings.hs | 5 ++++- src/ReportTypes.hs | 1 + 5 files changed, 20 insertions(+), 9 deletions(-) diff --git a/site/index.html b/site/index.html index 2db48c7..b9df62e 100644 --- a/site/index.html +++ b/site/index.html @@ -352,7 +352,7 @@

Benchmarks

@@ -471,7 +471,7 @@