// -*- MPC -*-
// Many existing MPC builds rely on this workspace.  It is not
// necessary other than that.
workspace {
}