GitHub user remkop opened a pull request:
https://github.com/apache/groovy/pull/740
GROOVY-8619 Update docs for Groovy Shell
see https://issues.apache.org/jira/browse/GROOVY-8619
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/remkop/groovy GROOVY-8619-docs-groovysh
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/groovy/pull/740.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #740
----
commit 7dfbb429846dc1ec6991fb88dbd975f24ac12751
Author: Remko Popma <remkop@...>
Date: 2018-06-01T10:39:03Z
GROOVY-8619 Update docs for Groovy Shell
----
---
