Projet

Général

Profil

Development #8503

renommer custom-whatever/ en whatever/

Ajouté par Frédéric Péters il y a plus de 8 ans. Mis à jour il y a environ 5 ans.

Statut:
Fermé
Priorité:
Normal
Assigné à:
Frédéric Péters
Catégorie:
-
Version cible:
-
Début:
04 octobre 2015
Echéance:
% réalisé:

0%

Temps estimé:
Patch proposed:
Non
Planning:
Club:
Non

Description

Pour le moment les variantes du thème se trouvent appelées custom-whatever/, je proposerais de simplement utiliser whatever/.

Commentaires, objections ?

(le patch c'est une série de git mv et une petite modif au theme.html, je l'attacherai si on est d'accord sur l'idée).

Révisions associées

Révision a20331b8 (diff)
Ajouté par Frédéric Péters il y a plus de 8 ans

general: rename themes from custom-whatever to whatever (#8503)

Historique

#1

Mis à jour par Benjamin Dauvergne il y a plus de 8 ans

Je n'y vois aucun inconvénient.

#2

Mis à jour par Serghei Mihai il y a plus de 8 ans

Pareil

#3

Mis à jour par Frédéric Péters il y a plus de 8 ans

  • Statut changé de Nouveau à Solution déployée
commit a20331b855e67cfbb62e327da3133d305c6364ed
Author: Frédéric Péters <fpeters@entrouvert.com>
Date:   Mon Oct 5 09:46:05 2015 +0200

    general: rename themes from custom-whatever to whatever (#8503)
#4

Mis à jour par Frédéric Péters il y a plus de 8 ans

  • Statut changé de Solution déployée à Résolu (à déployer)
#5

Mis à jour par Frédéric Péters il y a environ 5 ans

  • Statut changé de Résolu (à déployer) à Fermé

Formats disponibles : Atom PDF