On 2016-05-24, Jochen Wiedmann wrote: > thanks very much. In Summary, I understand that I can remove those > files: build.xml, gump.xml, build_gump.xml?
Yes, I think so. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
