GitHub Code Folding

A userscript that adds code folding to GitHub files

À data de 01/07/2023. Ver a versão mais recente.