Re: LSR item 523, fix typo

[Phil Holmes]

----- Original Message ----- 
From: "Federico Bruni" <address@hidden>
To: "Devel" <address@hidden>; "Jean-Charles Malahieude" 
<address@hidden>
Sent: Friday, January 02, 2015 8:14 AM
Subject: LSR item 523, fix typo


> Jean-Charles, regarding this commit:
>
> commit c86ce585e9451663b80beb5d03ee28a00b07e8e8
> Author: Jean-Charles Malahieude <address@hidden>
> Date:   Sun Dec 28 16:50:40 2014 +0100
>
>    Doc: correct texinfo formatting in snippet
>
>     @@address@hidden@} -> @file{…}
>
> This fix will be undone by  the next LSR import.
> You should ask someone with write privilege to fix it on the LSR server:
> http://lsr.di.unimi.it/LSR/Item?id=523


I could do it, but am not sure of what to replace the 'file' tag with: 
<code> ??

--
Phil Holmes