diff options
| author | Paul Phillips <paulp@improving.org> | 2011-03-15 02:56:39 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-03-15 02:56:39 +0000 |
| commit | 7a29fc7de3465a064ffc6e0422d5df4bf39b36a3 (patch) | |
| tree | f691e99c2358806c1d239856393f69278bbfaf02 /lib/scala-library.jar.desired.sha1 | |
| parent | 048fe68a1f533a789bd39b80ce9793861d19df48 (diff) | |
| download | scala-7a29fc7de3465a064ffc6e0422d5df4bf39b36a3.tar.gz scala-7a29fc7de3465a064ffc6e0422d5df4bf39b36a3.tar.bz2 scala-7a29fc7de3465a064ffc6e0422d5df4bf39b36a3.zip | |
Fix for a jline/history bug when the history fi...
Fix for a jline/history bug when the history file didn't already exist.
Also expunged a bunch of history code which didn't get where it was
going, including everything involving shutdown hooks. No review.
Diffstat (limited to 'lib/scala-library.jar.desired.sha1')
0 files changed, 0 insertions, 0 deletions