spip/spip
-
Par Matthieu Marcillaud, le 28 septembre 2020 à 00h56min :
On intègre plugins-dist.json à la place de .gitsvnextmodules pour lister les plugins-dist. Report de 7306ba9a sans bigup.
*Ajouté*
plugins-dist.json
Détails : https://git.spip.net/spip/spip/commit/6c2e56441ec85d8fdbe03a88757b9f71dd98a6aa