diff options
| author | David Waern <david.waern@gmail.com> | 2008-10-09 23:53:54 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-10-09 23:53:54 +0000 |
| commit | 5f0ee262e20f55951eb92a95b2925c0ab78914d8 (patch) | |
| tree | 12d39a607f1596e51a2de9ff4b983fa09706fdd2 /doc/fptools.css | |
| parent | 9bafa8e19b35faf5470093b5786cda8ee12a37cd (diff) | |
Interleave typechecking with interface creation
At the same time, we fix a bug where the list of interfaces were
processed in the wrong order, when building the links and renaming
the interfaces.
Diffstat (limited to 'doc/fptools.css')
0 files changed, 0 insertions, 0 deletions