diff options
author | David Waern <david.waern@gmail.com> | 2009-07-06 20:24:20 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2009-07-06 20:24:20 +0000 |
commit | 25b78bc0619d55c1662513c412c0193778a885c1 (patch) | |
tree | b2a1052f52322c4fae8df02393fca4ffba2d8899 /doc | |
parent | 8ac2f87d8328554fc66331282d8b1c169e430ac5 (diff) |
Clearer printing of versions by runtests.hs
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions