[Dctrl-tools-devel] Bug#870893: remove .grep-dctrl-banner-shown

[積丹尼 Dan Jacobson]

Package: dctrl-tools
Version: 2.24-2+b1
Severity: wishlist

On http://antti-juhani.kaijanaho.fi/blog/en/debian/banner.comments
it says it will be removed soon.

OK, then could you also remove all the
-rw-r--r-- 1 0 2003-08-15  .grep-dctrl-banner-shown
littering everyone's accounts?

No I'm not sure of the best way to do it.