diff TOOLS/coverity.sh @ 36543:ab3dbe1559d0

Prettify the dialog for subtitle encodings selection. Use the existing unicode encoding help message for the sake of consistency.
author ib
date Sun, 19 Jan 2014 15:00:09 +0000
parents 7425021012b4
children 322ffa4a22d2
line wrap: on
line diff