commit | 5be06e9de260632f936a50c06766da6fc274d3ea | [log] [tgz] |
---|---|---|
author | Robert Field <rfield@openjdk.org> | Mon Oct 24 17:06:10 2016 -0700 |
committer | Robert Field <rfield@openjdk.org> | Mon Oct 24 17:06:10 2016 -0700 |
tree | 123902ea429be01fd8ed02014f3e8c61e7fb9531 | |
parent | d072e7faa41cfbce674333c2373e544edd9a0d9a [diff] |
8167637: jshell tool: /edit should use EDITOR setting 8167640: jshell tool: external editor temp file should be *.java Reviewed-by: jlahoda