// NB we're deleting the /other/ one!
// Also remove the examples subdir from non-release versions
def customizedIdToDelete = "PROGRAM_GROUP_RELEASE"
// NB we're deleting the /other/ one!
// Also remove the examples subdir from non-release versions
def customizedIdToDelete = "PROGRAM_GROUP_RELEASE"