mirror of
https://github.com/urbit/shrub.git
synced 2024-12-20 17:32:11 +03:00
Remove warning override.
This commit is contained in:
parent
cc7d8cb69a
commit
75e44f95ee
@ -1,5 +1,3 @@
|
||||
{-# OPTIONS_GHC -Wwarn #-}
|
||||
|
||||
module Vere.Term (initializeLocalTerminal, term, TerminalSystem(..)) where
|
||||
|
||||
import UrbitPrelude
|
||||
|
Loading…
Reference in New Issue
Block a user