Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove unused development flag

Browse source
This commit is contained in:
Hongrui Fang 2022-08-12 19:13:28 +08:00
parent 47d9e69298
commit 4d7fa7901c
No known key found for this signature in database
GPG key ID: 1E0454204FC7D755
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
cabal.project
View file

@ -3,7 +3,4 @@ packages: ./.
benchmarks: true benchmarks: true
tests: true tests: true
package plutarch
flags: +development
test-show-details: direct test-show-details: direct