mirror of
https://github.com/CrystalSplitter/ghcitui.git
synced 2024-11-25 22:13:03 +03:00
Remove unneeded language extension
This commit is contained in:
parent
321a0b278f
commit
692395d82a
@ -1,5 +1,4 @@
|
|||||||
{-# LANGUAGE BlockArguments #-}
|
{-# LANGUAGE BlockArguments #-}
|
||||||
{-# LANGUAGE OverloadedRecordDot #-}
|
|
||||||
|
|
||||||
module Ghcitui.Brick.EventUtils
|
module Ghcitui.Brick.EventUtils
|
||||||
( shortenText
|
( shortenText
|
||||||
|
Loading…
Reference in New Issue
Block a user