diff options
| author | David Waern <david.waern@gmail.com> | 2007-11-11 00:50:57 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2007-11-11 00:50:57 +0000 |
| commit | 5f475ed8d2457925231389048d843ee1261802ac (patch) | |
| tree | ab665f79f9c3585c3fdf683a10759e0fbe7fea1b /doc/fptools.css | |
| parent | 563918097f98e6eb6f6c57d3be3a0954d2655ee0 (diff) | |
Do some refactoring in the html backend
This also merges an old patch by Augustsson:
Wed Jul 12 19:54:36 CEST 2006 lennart.augustsson@credit-suisse.com
* Print type definitions like signatures if given arrows.
Diffstat (limited to 'doc/fptools.css')
0 files changed, 0 insertions, 0 deletions