From: Toon Knapen (toon.knapen_at_[hidden])
Date: 2002-02-01 11:41:10


If file A includes file B and later B is removed, A will not be marked
as being not up to date. But I'm not sure if this is an error or not.