Are you sure you want to delete the file pot.rb?
| Name | Size | Permission | Action |
|---|---|---|---|
| pot | --- | 0755 | |
| template | --- | 0755 | |
| darkfish.rb | 20641 bytes | 0644 | |
| json_index.rb | 7810 bytes | 0644 | |
| markup.rb | 3337 bytes | 0644 | |
| pot.rb | 2315 bytes | 0644 | |
| ri.rb | 463 bytes | 0644 |
Are you sure you want to delete the file pot.rb?
| Name | Size | Permission | Action |
|---|---|---|---|
| pot | --- | 0755 | |
| template | --- | 0755 | |
| darkfish.rb | 20641 bytes | 0644 | |
| json_index.rb | 7810 bytes | 0644 | |
| markup.rb | 3337 bytes | 0644 | |
| pot.rb | 2315 bytes | 0644 | |
| ri.rb | 463 bytes | 0644 |