aboutsummaryrefslogtreecommitdiff
path: root/doc/fptools.css
diff options
context:
space:
mode:
authorDavid Waern <davve@dtek.chalmers.se>2007-12-08 16:26:12 +0000
committerDavid Waern <davve@dtek.chalmers.se>2007-12-08 16:26:12 +0000
commitdbaf61e7fe3de11aa10e8dd62341888e497f0b39 (patch)
tree57fa087ef2e2c6151a6b0320b7ca9475abfb6ec5 /doc/fptools.css
parent51ff000cad60d81cc73c203e95b21d98fbf82628 (diff)
Use ppParendType when printing types args in predicates
Diffstat (limited to 'doc/fptools.css')
0 files changed, 0 insertions, 0 deletions