Are you sure you want to delete the file history.rb?
| Name | Size | Permission | Action |
|---|---|---|---|
| change-ws.rb | 1033 bytes | 0644 | |
| history.rb | 3772 bytes | 0644 | |
| loader.rb | 3881 bytes | 0644 | |
| multi-irb.rb | 6589 bytes | 0644 | |
| save-history.rb | 3882 bytes | 0644 | |
| tracer.rb | 2021 bytes | 0644 | |
| use-loader.rb | 1987 bytes | 0644 | |
| workspaces.rb | 1513 bytes | 0644 |