aboutsummaryrefslogtreecommitdiff
path: root/driver
diff options
context:
space:
mode:
authorSimon Hengel <sol@typeful.net>2013-12-01 00:31:43 +0100
committerAustin Seipp <austin@well-typed.com>2014-01-12 14:48:35 -0600
commit39649d71ae8462291049710bb5e3c35f5d5b193b (patch)
tree988484a257d8631dc0a865b1c517e5ffd3c8f0ca /driver
parent030c726ac75a16fc13ff6d66357331a37374e65f (diff)
Some code simplification by using traverse
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions