GitHub Code Folding

A userscript that adds code folding to GitHub files

À data de 24/10/2022. Ver a versão mais recente.