Hi, >> that's just a warning. i intend to get to this but it for sure doesn't break >> anything. what ist the workbench-properties.xml actually for we deliver a >> skeleton xml file for this in bin/ . >> > ahh i recall, we or the user can add extensions and plugins here... is this > parameter actually mandatory? who except developers uses this? Oh, I confused this file with workbench-state.xml :-[ . Workbench-properties is there from the beginning, but it seems that default-plugins.xml does exactly what workbench-properties was intended for. Not sure it's still useful, but there is no urgency to remove it.
Michaël > > ..ede > > ------------------------------------------------------------------------------ > Keep Your Developer Skills Current with LearnDevNow! > The most comprehensive online learning library for Microsoft developers > is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, > Metro Style Apps, more. Free future releases when you subscribe now! > http://p.sf.net/sfu/learndevnow-d2d > _______________________________________________ > Jump-pilot-devel mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel > > ------------------------------------------------------------------------------ Keep Your Developer Skills Current with LearnDevNow! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-d2d _______________________________________________ Jump-pilot-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
