[galaxy-dev] [hg] galaxy 3119: Remove old tools from runner config in univers...