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 /html | |
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 'html')
0 files changed, 0 insertions, 0 deletions