diff options
author | David Waern <david.waern@gmail.com> | 2008-07-25 17:18:27 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2008-07-25 17:18:27 +0000 |
commit | 8fad7dd7a2a31d0b554c23851ea63917ddc181ac (patch) | |
tree | c46ba31e5a2bae9413cfe9bdd15d817647a61ac7 /html | |
parent | 7779bb3571fdfc9412323f12529d71df1955926b (diff) |
Warning messages
Output a warning when filtering out data/type instances and associated types
in instances. We don't show these in the documentation yet, and we need to
let the user know.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions