|
From: | Joris van der Hoeven |
Subject: | Re: [Texmacs-dev] Importing ASCII grave from HTML |
Date: | Fri, 25 Jul 2003 11:36:18 +0200 (CEST) |
> I really cannot find a satisfying solution to this problem. Until the font encoding system will be reorganized, please don't bother and just import GRAVE ACCENT as BACKQUOTE (`).
[Prev in Thread] | Current Thread | [Next in Thread] |