Jeremy Evans a06301b103 Ignore history file without saving if permissions cannot be changed ... Fixes [Ruby Bug 13907]		2019-07-27 16:56:04 +09:00
..
change-ws.rb
history.rb	Suppress warnings	2019-07-15 00:13:01 +09:00
loader.rb
multi-irb.rb	Remove unnecessary require 'thread'	2017-10-08 07:00:01 +00:00
save-history.rb	Ignore history file without saving if permissions cannot be changed	2019-07-27 16:56:04 +09:00
tracer.rb
use-loader.rb	Suppress warnings	2019-07-15 00:13:01 +09:00
workspaces.rb