summaryrefslogtreecommitdiff
path: root/doc/todo/fail_if_modification_not_commited_when_using_--spin/comment_2_e4d170a14d689bef5d9174b251a4fe6f._comment
diff options
context:
space:
mode:
authorJoey Hess2015-10-19 12:33:18 -0400
committerJoey Hess2015-10-19 12:33:18 -0400
commitace352cc0aa732d00900122e0ab8552c870f3901 (patch)
tree53e8a1019203a94131592f18e280859108129183 /doc/todo/fail_if_modification_not_commited_when_using_--spin/comment_2_e4d170a14d689bef5d9174b251a4fe6f._comment
parent10286791b63b198de7d0dc3742f8e1d58113d3f1 (diff)
improve Info type using GADT, at nomeata's suggestion
This makes Show Info work, and simplifies the implementation.
Diffstat (limited to 'doc/todo/fail_if_modification_not_commited_when_using_--spin/comment_2_e4d170a14d689bef5d9174b251a4fe6f._comment')
0 files changed, 0 insertions, 0 deletions