mirror of
https://github.com/CrystalSplitter/ghcitui.git
synced 2024-08-16 14:40:48 +03:00
4987c7a49a
It turns out these are also allowed--and thus we need to be able to match on them. |
||
---|---|---|
.. | ||
Ghcid | ||
Loc.hs | ||
NameBinding.hs | ||
Util.hs |