diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-12-08 17:59:28 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-12-08 17:59:28 +0000 |
| commit | 6eb17425fe47b70ed9d70f6d065da9c7699ac5f3 (patch) | |
| tree | 86ddb2f7cc371bddaf08c2f0eb13dd1944496566 /html/minus.gif | |
| parent | 689ec13473c62085346ef38baf3f70d2d7c94df0 (diff) | |
Fix a bug (use ppTyName instead of ppName to print names in type apps)
Diffstat (limited to 'html/minus.gif')
0 files changed, 0 insertions, 0 deletions