diff options
| author | Ryan Dwyer <ryandwyer1@gmail.com> | 2018-04-23 13:04:16 +1000 |
|---|---|---|
| committer | Ryan Dwyer <ryandwyer1@gmail.com> | 2018-04-23 18:54:45 +1000 |
| commit | d956286b92a71accb2ac6c895b51502a3eab3bcd (patch) | |
| tree | 4f1eb4809d4ebc00d0ae4b734337e6afb4b48081 /include/util.h | |
| parent | 778b90d13e9b78c980ae17c6fc0eb0e93e1d2ac5 (diff) | |
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
Diffstat (limited to 'include/util.h')
0 files changed, 0 insertions, 0 deletions