diff deploy/src/archive-tip.sh @ 1584:0c20dbab0253 dev/refactor-piper-related

Change setDesiredExtractor signature to take ServerDescription aggregate.
author Lucas Thompson <lucas.thompson@qmul.ac.uk>
date Fri, 10 Feb 2017 11:30:29 +0000
parents d333705f6c29
children 471b0fb002ea
line wrap: on
line diff