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

Bon ça faisait un moment que je devais faire une page pour ça. Voici donc quelques polices de caractères recommandées si vous êtes développeur.
Je pense qu'il y aurait encore beaucoup à ajouter (sur les éditeurs, la coloration syntaxique, le code-folding, etc. mais là j'en aurais pour un roman. Et puis les goûts personnels des développeurs concernant leurs outils, c'est le meilleur moyen de démarrer une flamewar  :o)
(Permalink)