Mise à jour de la base de données, veuillez patienter...

Encore une police de caractères spéciale pour développeurs, mais cette fois avec des ligatures.
Je suis en train de me demander si les ligatures sont vraiment pertinentes pour un développeur ?
Par exemple le comptage du nombre de # successifs devient plus difficile au premier coup d’œil.
Mouais, à voir...
(Permalink)