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