Makes github full width in a few views, and makes PR diffs easier to browse
Version au 18/08/2015. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.