comparison deploy/src/archive-tip.sh @ 1302:d0a7a508ff2e project-file-rework

Ensure plugin is deleted in same thread that created and used it
author Chris Cannam
date Fri, 28 Oct 2016 11:32:36 +0100
parents d333705f6c29
children 471b0fb002ea
comparison
equal deleted inserted replaced
1301:26da0e253e68 1302:d0a7a508ff2e