Prefer delete to tr when using it to remove characters from a string
#1769
| Job | Run time |
|---|---|
| 13s | |
| 12s | |
| 9s | |
| 9s | |
| 30s | |
| 25s | |
| 14s | |
| 14s | |
| 13s | |
| 26s | |
| 22s | |
| 3m 7s |
delete to tr when using it to remove characters from a string
#1769
| Job | Run time |
|---|---|
| 13s | |
| 12s | |
| 9s | |
| 9s | |
| 30s | |
| 25s | |
| 14s | |
| 14s | |
| 13s | |
| 26s | |
| 22s | |
| 3m 7s |