From 6b728f44dbd67b8c8507e52b2b7daeee2a0dcc3f Mon Sep 17 00:00:00 2001
From: Andrea Rossato <andrea.rossato@ing.unitn.it>
Date: Thu, 27 Sep 2007 19:28:48 +0200
Subject: Plugins: added tenthSeconds to the exported API

darcs-hash:20070927172848-d6583-5667ef55961d3d9666c4616025a45445560bc5ef.gz
---
 Plugins.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Plugins.hs')

diff --git a/Plugins.hs b/Plugins.hs
index fa98aca..17aa0f6 100644
--- a/Plugins.hs
+++ b/Plugins.hs
@@ -14,7 +14,8 @@
 --
 -----------------------------------------------------------------------------
 
-module Plugins ( Exec (..) 
+module Plugins ( Exec (..)
+               , tenthSeconds
                ) where
 
 import Commands
\ No newline at end of file
-- 
cgit v1.2.3