Re: [galaxy-dev] backslash in string for galaxy tool