pkg: drop unused double flag

2016-08-09 12:04:19 -07:00 · 2016-08-09 12:04:19 -07:00 · 9ad7f2f7e4
commit 9ad7f2f7e4
parent cf8ebd4ae2
2 changed files with 0 additions and 9 deletions
--- a/hledger-lib/hledger-lib.cabal
+++ b/hledger-lib/hledger-lib.cabal
@ -47,11 +47,6 @@ source-repository head
  type: git
  location: https://github.com/simonmichael/hledger

-flag double
-  manual: True
-  default: False
-  description: Use old Double number representation (instead of Decimal), for testing/benchmarking.
-
 flag oldtime
  description: If building with time < 1.5, also depend on old-locale. Set automatically by cabal.
  manual: False
--- a/hledger-lib/package.yaml
+++ b/hledger-lib/package.yaml
@ -34,10 +34,6 @@ data-files:
 - doc/hledger_timeclock.5.txt
 - doc/hledger_timeclock.5.info
 flags:
-  double:
-    description: Use old Double number representation (instead of Decimal), for testing/benchmarking.
-    manual: true
-    default: false
  oldtime:
    description: If building with time < 1.5, also depend on old-locale. Set automatically by cabal.
    manual: false