Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Version au 24/06/2020. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.