galaxy-dev

galaxy-dev@lists.galaxyproject.org
  • 29 participants
  • 156 discussions
replacing deprecated <code> tags
by Martin Aryee
12 years
Galaxy and GMOD at PAG
by Dave Clements, GMOD Help Desk
12 years
[hg] galaxy 3208: Add missing quickie icons, remove unused large...
by Greg Von Kuster
12 years
[hg] galaxy 3207: Quickies: add close button, fix window height ...
by Greg Von Kuster
12 years
[hg] galaxy 3206: Prevent sys.exit() from being caught by the tr...
by Greg Von Kuster
12 years
[hg] galaxy 3205: Bug fixes and code cleanup for managing users, ...
by Greg Von Kuster
12 years
[hg] galaxy 3204: merge
by Greg Von Kuster
12 years
[hg] galaxy 3203: Smart converter for SOLiD, which takes care of...
by Greg Von Kuster
12 years
[hg] galaxy 3202: enable tooltip for existing nodes
by Greg Von Kuster
12 years
using the 'user' information in the the "tool config file"
by Hotz, Hans-Rudolf
12 years
Results per page: