Projet

Général

Profil

« Précédent | Suivant » 

Révision 060ddd51

ID060ddd51f2d2aa5f5fc20cd7f3bea31c95cfbc07
Parent b7e6b69b
Enfant 5a98a767

Ajouté par Diego Elio Pettenò il y a environ 13 ans

misc: make some plugin speak dirtyconfig, saving a few roundtrips.

Fichiers

  • ajouté
  • modifié
  • copié
  • renommé
  • supprimé

Voir les différences