25 Feb
2015
25 Feb
'15
3:38 p.m.
On Wed, Feb 25, 2015 at 3:34 PM, Roberto Alonso CIPF <ralonso@cipf.es> wrote:
Perfect, Galaxy will also need to add the function that was deleted by merge, in galaxy/datatypes/sequence.py
Yes - if you want to do a pull request with that, please go ahead. Otherwise I hope to do it later this week... Your egrep fix has been applied to the main repository now: https://github.com/galaxyproject/galaxy/pull/4 Peter