[O] Exporting verbatim and code to html converts -- to en dash

[Aurélien Aptel]

Hi,

When I export to html using org-mode 8.0.2 the text in verbatim and
code markup are processed.

~--abi-check-disable~ is exported as <code>&#x2013;abi-check-disable</code>

This looks like bug (otherwise "verbatim" is misleading).