On 13 March 2011 17:37, Andy Smith <andy@???> wrote:
> On Sun, Mar 13, 2011 at 05:36:28PM +0000, Daniel Llewellyn wrote:
>> if you want a quick decode you can use php:
>>
>> cat file_containing_html | php -r "print html_entity_decode(file_get_contents('php://stdin'));"
>
> Burn him!!!
All very nice sledgehammers.... but for this nut, I'd just copy the
character codes, and paste them into a browser address bar or Google
search box...
mailto:BarbaraMallyon@lewmal.co.uk">Barbara Mallyon
mailto:joysgenea@shaw.ca.">Joy French