Merge pull request #2137 from fmthoma/fix-assign-workspace

Comply with documentation: 'workspace' token in 'assign' command
This commit is contained in:
Michael Stapelberg 2015-12-29 12:26:38 +01:00
commit f6021c957b
1 changed files with 2 additions and 0 deletions

View File

@ -146,6 +146,8 @@ state ASSIGN:
state ASSIGN_WORKSPACE:
'→'
->
'workspace'
->
workspace = string
-> call cfg_assign($workspace)