|
| From: | Patrice Dumas |
| Subject: | kbdinputstyle ignored by makeinfo |
| Date: | Sun, 9 Apr 2006 23:09:34 +0200 |
| User-agent: | Mutt/1.4.2.1i |
Hello, @kbdinputstyle shouldn't be ignored in html (because it makes sense) and in xml (to avoid information loss). -- Pat
| [Prev in Thread] | Current Thread | [Next in Thread] |