aboutsummaryrefslogtreecommitdiff
path: root/src/Documentation
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2014-01-10 18:17:43 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2014-01-10 18:17:43 +0000
commit030c726ac75a16fc13ff6d66357331a37374e65f (patch)
treea0b789aa64f8080ecfcd7828afc4df5c78a4f52a /src/Documentation
parent0f6a628a149dd46960d701ae54fdfc057a168640 (diff)
Adapt to small change in Pretty's exports
Diffstat (limited to 'src/Documentation')
0 files changed, 0 insertions, 0 deletions