diff options
| -rw-r--r-- | Plugins/EWMH.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Plugins/EWMH.hs b/Plugins/EWMH.hs index 0718aa4..d5b70cb 100644 --- a/Plugins/EWMH.hs +++ b/Plugins/EWMH.hs @@ -1,3 +1,4 @@ +{-# OPTIONS_GHC -w #-} {-# LANGUAGE CPP, RecordWildCards, NamedFieldPuns, GeneralizedNewtypeDeriving #-} ----------------------------------------------------------------------------- |