A userscript that adds a button to make the diff better
Version au 03/07/2019. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
