phpcr/phpcr-shell — pull request #14 by dantleech (2014-03-23 12:04:05+00:00)
Title: Change workspace command and related

Added `workspace:use` command to change the current workspace