[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: unicode codepoint for @expansion{}
From: |
Patrice Dumas |
Subject: |
Re: unicode codepoint for @expansion{} |
Date: |
Mon, 13 Aug 2012 21:08:35 +0200 |
User-agent: |
Mutt/1.5.20 (2009-12-10) |
On Sun, Aug 12, 2012 at 04:10:29PM -0600, Karl Berry wrote:
> address@hidden -> u+21a6] Agreed?
>
> Agreed.
Ok.
Here is a patch for the manual (it is impractical for me to apply such
patches right now, but I can make an effort if you want to).
--
Pat
texinfo.txi-expansion_unicode_point.diff
Description: Text document