GitHub Code Folding

A userscript that adds code folding to GitHub files

Version au 17/02/2024. Voir la dernière version.