diff options
| author | Sergey M․ <dstftw@gmail.com> | 2015-05-02 23:06:01 +0600 |
|---|---|---|
| committer | Sergey M․ <dstftw@gmail.com> | 2015-05-02 23:06:01 +0600 |
| commit | e65e4c88748f2d245aa683116a2c6de907186751 (patch) | |
| tree | e811f6731bc4a505e8279afda4b67d31123f687e /devscripts/SizeOfImage.patch | |
| parent | 21f6330274c6f87c796bd9248ed82d2bc73de969 (diff) | |
[utils] Improve prepend_extension
Now `ext` is appended to filename if real extension != expected extension.
Diffstat (limited to 'devscripts/SizeOfImage.patch')
0 files changed, 0 insertions, 0 deletions