diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-08-21 19:48:44 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-08-21 19:48:44 +0200 |
| commit | 1fab853cb8a76eb9b7c5400924a8c53b3b095712 (patch) | |
| tree | 54f20fb5987904700669d67519cc45169ae78bb7 /src/Plugins/Monitors/Top.hs | |
| parent | 8afb450eb104e5335f4b1b976512842f7059142c (diff) | |
| parent | 4a57c777bccbf169aa50411ecaed0af333ac6871 (diff) | |
| download | xmobar-1fab853cb8a76eb9b7c5400924a8c53b3b095712.tar.gz xmobar-1fab853cb8a76eb9b7c5400924a8c53b3b095712.tar.bz2 | |
Merge remote-tracking branch 'github/master'
Diffstat (limited to 'src/Plugins/Monitors/Top.hs')
| -rw-r--r-- | src/Plugins/Monitors/Top.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Plugins/Monitors/Top.hs b/src/Plugins/Monitors/Top.hs index e45210c..6001164 100644 --- a/src/Plugins/Monitors/Top.hs +++ b/src/Plugins/Monitors/Top.hs @@ -13,6 +13,7 @@ ----------------------------------------------------------------------------- {-# LANGUAGE ForeignFunctionInterface #-} +{-# LANGUAGE BangPatterns #-} module Plugins.Monitors.Top (startTop, topMemConfig, runTopMem) where |