mirror of
https://github.com/xmonad/xmonad.git
synced 2025-07-29 19:21:52 -07:00
OPTIONS_GHC is the preferred pragma name
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
{-# OPTIONS -fno-warn-missing-signatures -fno-warn-orphans #-}
|
||||
{-# OPTIONS_GHC -fno-warn-missing-signatures -fno-warn-orphans #-}
|
||||
{-# LANGUAGE TypeFamilies #-}
|
||||
-----------------------------------------------------------------------------
|
||||
-- |
|
||||
|
Reference in New Issue
Block a user