GitHub Code Folding

A userscript that adds code folding to GitHub files

Fra og med 24.10.2022. Se den nyeste version.