diff options
author | 2015-10-09 16:16:03 -0400 | |
---|---|---|
committer | 2015-10-09 16:16:03 -0400 | |
commit | 59e14fb081908f3d40eac6890cb668c088b86d92 (patch) | |
tree | 750482021e4aff738e1b27e37b8101043a41c3f0 /Upgrade/V2.hs | |
parent | e3eb0165dfec73d065b409d14ac83f855384b56b (diff) |
also generate a drop safety proof for move --from remote
Diffstat (limited to 'Upgrade/V2.hs')
0 files changed, 0 insertions, 0 deletions