Bug #8237
distribuer correctement les polices
Début:
10 septembre 2015
Echéance:
% réalisé:
0%
Temps estimé:
Patch proposed:
Oui
Planning:
Description
...
Fichiers
Révisions associées
Historique
Mis à jour par Frédéric Péters il y a plus de 8 ans
- Fichier 0001-build-fix-distribution-of-font-files-8237.patch 0001-build-fix-distribution-of-font-files-8237.patch ajouté
- Statut changé de Nouveau à En cours
- Patch proposed changé de Non à Oui
Mis à jour par Frédéric Péters il y a plus de 8 ans
- Statut changé de En cours à Résolu (à déployer)
commit e0c5f65d963a560811de8295cb67db3fbaa6234b Author: Frédéric Péters <fpeters@entrouvert.com> Date: Thu Sep 10 22:44:42 2015 +0200 build: fix distribution of font files (#8237)
build: fix distribution of font files (#8237)