Re: [EGD-discu] [Vote] Touches mortes exposants & indices -> priorité des touches mortes ?

[Valentin Melot <v.melot@xxxxxxxxxx>]

Merci. J'espère que ce sera plus consensuel -- c'est A2 qui va être content. :P

-- 
Miltøn

Le 1 décembre 2016 12:10:05 GMT+01:00, Mimoza <bepo@xxxxxxxx> a écrit :

J'ai fait la modif

1 décembre 2016 11:47 "Valentin Melot" <v.melot@xxxxxxxxxx> a écrit:

On peut toujours rajouter cette proposition en cours de route mais il faudra que les personnes ayant déjà voté viennent modifier leur vote. Je suis sur mon téléphone, est-ce que quelqu'un peut rajouter l'option svp ? Sinon je ferai ça cet après-midi...

--
Miltøn

Le 1 décembre 2016 11:34:30 GMT+01:00, "Olivier Guéry" <nemolivier@xxxxxxxxx> a écrit :

Le jeu. 1 déc. 2016 à 11:11, Mimoza <bepo@xxxxxxxx> a écrit :

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 …

C'est pas bête, ça comme idée…

Némolivier.

--

Envoyé depuis un clavier en http://bepo.fr

--
Envoyé de mon appareil Android avec K-9 Mail. Veuillez excuser ma brièveté.

-- 
Envoyé de mon appareil Android avec K-9 Mail. Veuillez excuser ma brièveté.