Are you sure you want to delete the file history.rb?
| Name | Size | Permission | Action |
|---|---|---|---|
| key_actor | --- | 0755 | |
| unicode | --- | 0755 | |
| ansi.rb | 6279 bytes | 0644 | |
| config.rb | 8867 bytes | 0644 | |
| general_io.rb | 1258 bytes | 0644 | |
| history.rb | 1914 bytes | 0644 | |
| key_actor.rb | 169 bytes | 0644 | |
| key_stroke.rb | 1252 bytes | 0644 | |
| kill_ring.rb | 2443 bytes | 0644 | |
| line_editor.rb | 93004 bytes | 0644 | |
| unicode.rb | 20052 bytes | 0644 | |
| version.rb | 38 bytes | 0644 | |
| windows.rb | 10625 bytes | 0644 |