diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-10-09 13:47:19 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-09 13:47:19 -0400 |
| commit | 4f9957f5342c58adf5b406122b6a8157352ab89b (patch) | |
| tree | 68a0c04ab77ab2c74b4a4c3c2484aaa7c6eb7580 /CmdLine/GlobalSetter.hs | |
| parent | cdc18dea255090d0eb9c1dcd9ffa433665736b18 (diff) | |
display drop safety proofs in debug mode
Diffstat (limited to 'CmdLine/GlobalSetter.hs')
0 files changed, 0 insertions, 0 deletions