Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Removed redundant Plutarch Extra files

Browse source
This commit is contained in:
Jack Hodgkinson 2022-03-04 06:26:53 +00:00
parent 3bc3620334
commit 037f8729b4
2 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
agora.cabal
View file

@ -122,10 +122,9 @@ library
Agora.Treasury
Agora.Voting
other-modules:
other-modules:
Agora.Utils
Agora.Utils.Value
Plutarch.Extra.Map
hs-source-dirs: src