GM_config is a user script library that allows the user to edit certain saved values through a graphical settings menu. (This is just a copy of https://github.com/sizzlemctwizzle/GM_config to use in GF scripts)
Ceci est l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
