From 15e8a65f65d42946dede3e060459f82926e9cb27 Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Sun, 27 Jan 2019 22:59:43 +0000
Subject: API: exporting tenthSeconds

---
 examples/xmobar.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'examples')

diff --git a/examples/xmobar.hs b/examples/xmobar.hs
index 05c77ca..4df8722 100644
--- a/examples/xmobar.hs
+++ b/examples/xmobar.hs
@@ -1,6 +1,6 @@
 ------------------------------------------------------------------------------
 -- |
--- Copyright: (c) 2018 Jose Antonio Ortega Ruiz
+-- Copyright: (c) 2018, 2019 Jose Antonio Ortega Ruiz
 -- License: BSD3-style (see LICENSE)
 --
 -- Maintainer: jao@gnu.org
@@ -30,6 +30,7 @@ instance Exec HelloWorld where
 -- Configuration, using predefined monitors as well as our HelloWorld
 -- plugin:
 
+config :: Config
 config = defaultConfig {
   font = "xft:Sans Mono-9"
   , additionalFonts = []
-- 
cgit v1.2.3