diff debian-build/files @ 12855:c03ce92291b6

-monitor-* options corrected.
author diego
date Mon, 19 Jul 2004 22:49:37 +0000
parents 33f43b0f24f7
children
line wrap: on
line diff