From: Toon Knapen (toon.knapen_at_[hidden]) Date: 2001-12-07 07:38:33
is referenced a few times in the documentation but the header is missing ;-(