Am Mittwoch, 21. März 2012, 00:08:58 schrieb Stefan Majewsky: > On Sat, Mar 17, 2012 at 5:17 PM, Wolfgang Rohdewald > > <wolfgang at rohdewald.de> wrote: > > is that OK or should I rather not put them into the kolf git repo? > > Don't put them. done, I pushed the changed conversion and a new scratch repository. -- Wolfgang