Re: [EGD-discu] [Vote] Touches mortes exposants & indices -> priorité des touches mortes ? |
[ Thread Index | Date Index | More ergodis.org/discussions Archives ]
Perso j'aurais plus mis en Altgr + [^|v] mais ça oblige a déplacer le ¡ et pour garder une cohérence le ¿ aussi (en Altgr + Maj ?).
Mais comme j'arrive après la bataille …
Mail converted by MHonArc 2.6.19+ | http://listengine.tuxfamily.org/ |