2 commits

Author	SHA1	Message	Date
Ryan Dwyer	fbb5198e43	Sort workspaces after rename	2018-04-23 18:54:45 +10:00
Ryan Dwyer	d956286b92	Implement rename workspace command ... This implements the following commands: * rename workspace to new_name * rename workspace old_name to new_name * rename workspace number n to new_name	2018-04-23 18:54:45 +10:00