[spip ↪ 4.2] build : utiliser la branche 3.2 du plugin aide

spip/spip

Par Matthieu Marcillaud, le 15 décembre 2023 à 11h36min :

build: utiliser la branche 3.2 du plugin aide

Modifié
plugins-dist.json

Détails : build: utiliser la branche 3.2 du plugin aide · 24afa376dc - spip - SPIP on GIT