1. 2000-05-30 Bug#4305: Changing preferences of kicker/menu entry kde-devel Rob Kaper 2. 2000-05-30 Bug#4305: Changing preferences of kicker/menu entry kde-bugs-dis Rob Kaper