spip-contrib-extensions/historique_spip32_documents
Par Jacques Pyrat, le 10 juillet 2021 à 11h40min :
Lien de documentation supplémentaire
Pas utile de faire un tag pour ça 
Supprimé
modeles/document_case_fonctions.php
Modifié
historique_spip32_documents_options.php