comparison tools/rtg/rtg-galaxy.cfg @ 1:8593828f91e7 default tip

Full galaxy wrapper
author diego
date Sat, 21 Apr 2012 21:36:15 -0400
parents
children
comparison
equal deleted inserted replaced
0:d50638ebd809 1:8593828f91e7
1 rtg=/rtgshare/tools/rtg-latest/rtg
2