aboutsummaryrefslogtreecommitdiff
path: root/latex
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2012-03-14 17:35:42 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2012-03-14 17:35:42 +0000
commit82851383b1477d6a119b289a405363437485b099 (patch)
treea6d3f60ea1b1a1a47d9c37726b35c8f7cca97153 /latex
parent7b381312437410b3d86ae5e18b951a551213bad8 (diff)
Follow changes to tcdKindSig (Trac #5937)
Diffstat (limited to 'latex')
0 files changed, 0 insertions, 0 deletions