|
From: | Eli Zaretskii |
Subject: | bug#24510: 25.1; Info: searching for ` does not find what looks like ` |
Date: | Sat, 24 Sep 2016 22:16:18 +0300 |
> Cc: 24510@debbugs.gnu.org > From: Clément Pit--Claudel <clement.pit@gmail.com> > Date: Sat, 24 Sep 2016 14:40:54 -0400 > > In that case, maybe we should just change the default font of the Info reader. On MS-Windows only? Doesn't sound like important enough to me.
[Prev in Thread] | Current Thread | [Next in Thread] |