On Tue, Oct 07, 2008 at 09:26:00PM +0200, ben.franksen at online.de wrote: > Tue Oct 7 20:52:33 CEST 2008 ben.franksen at online.de > * fixed accidental merge of two lines in default boring; removed pattern for directory "dist" Applied, thanks! David