CopyWorkspaces

Copy a RooFit workspace to a new name.

Usage:

+CopyWorkspaces {
  +NewWS{
    <original="OldWS">
  }
}

This action supports some options to modify the workspace while copying.