From: Dirk Nimmich (nimmich@uni-muenster.de)
Date: Mon Sep 20 1999 - 09:40:05 CDT
Maurizio Codogno wrote:
> Nowadays, Distribution: is completely useless. Were it for me, I'd delete
> it, since it won't be used anyway.
I find "Distribution: local" extremly useful for testing purposes.