GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-21 19:08:51 +03:00
Code Issues Projects Releases Wiki Activity

Fix capitalization

Browse Source
This commit is contained in:
Iavor Diatchki 2022-11-23 10:54:11 -08:00
parent 8416a91182
commit 9071432a7e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cryptol-remote-api/cryptol-remote-api.cabal
View File

@ -13,8 +13,8 @@ flag static
description: Create a statically-linked binary
flag NotThreaded
default: false
manual: true
default: False
manual: True
description: Omit the -threaded ghc flag
common warnings