diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-05-16 11:53:13 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-05-16 11:53:13 -0700 |
| commit | 1a5990162a3f678ba76e017d81c34ba67df97c53 (patch) | |
| tree | 53588017313280c74f901f9c4df9e4080c319cf8 /tools/js-optimizer.js | |
| parent | 4de54e3bece9a51a69bd46076acaa7746c1fa996 (diff) | |
| parent | cd3320992885c2f5fdd4f10b058c6d633d26cb74 (diff) | |
Merge pull request #1173 from manuels/incoming
Fix bug in rename() that occures if new filename starts with the old filename
Diffstat (limited to 'tools/js-optimizer.js')
0 files changed, 0 insertions, 0 deletions