Il 2013-09-23 20:43 Curtis Hendrickson (Campus) ha scritto:
Dear Galaxy Team
I was upgrading our servers with the 8/12 release, and going over the
DevNotes [1].
I noted item Pull Requets Merged #5: SAMtools indexes #188 [2].
But the file created by the pull request didn't seem to exist.
Dear Galaxy Team
I was upgrading our servers with the 8/12 release, and going over the
DevNoteshttp://wiki.galaxyproject.org/DevNewsBriefs/2013_08_12.
I noted item Pull Requets Merged #5: SAMtools indexes
#188http://wiki.galaxyproject.org/DevNewsBriefs/2013_08_12#Pull_Requests_Merged.
But the