diff options
author | David Waern <david.waern@gmail.com> | 2008-07-07 22:13:58 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-07-07 22:13:58 +0000 |
commit | 9b4ba226c4b85b9126be865bae2e5b3558fdaef6 (patch) | |
tree | 4eeaa0c677eef2b7f59921e48a99609014ff8d14 /doc/fptools.css | |
parent | ab45e736f6a4c720c3c69f4d3fccdd293a298806 (diff) |
Remove filtering of instances
We were filtering out all instances for types with unknown names. This was probably an
attempt to filter out instances for internal types. I am removing the filtering for the
moment, and will try to fix this properly later.
Diffstat (limited to 'doc/fptools.css')
0 files changed, 0 insertions, 0 deletions