Merge branch 'master' into next

This commit is contained in:
Michael Stapelberg
2013-01-25 13:56:26 +01:00
2 changed files with 19 additions and 1 deletions

View File

@ -214,7 +214,7 @@ state WORKSPACE_OUTPUT:
-> WORKSPACE_OUTPUT_STR
state WORKSPACE_OUTPUT_STR:
output = string
output = word
-> call cfg_workspace($workspace, $output)
# ipc-socket <path>