diff options
author | David Waern <david.waern@gmail.com> | 2010-09-01 11:19:21 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2010-09-01 11:19:21 +0000 |
commit | c369e055597eadcd5b68f966afcc2453f5174a4c (patch) | |
tree | 4b01d800eb99291ae107e32135f9749a1c17db14 /build-windows-dist.sh | |
parent | 0b0ca379557e201ce1bbdc02ea25b1ca9d42a9a1 (diff) |
Replace ghci> with >>> in example syntax
Diffstat (limited to 'build-windows-dist.sh')
0 files changed, 0 insertions, 0 deletions