GitHub user remkop opened a pull request:
https://github.com/apache/groovy/pull/741
GROOVY-8618 Update docs for GroovyConsole
see https://issues.apache.org/jira/browse/GROOVY-8618
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/remkop/groovy GROOVY-8618-docs-GroovyConsole
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/groovy/pull/741.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 #741
----
commit a561dafb7f1bbdfeb1c0bdceeef72e3b010efde7
Author: Remko Popma <remkop@...>
Date: 2018-06-01T10:53:40Z
GROOVY-8618 Update docs for GroovyConsole
----
---
