GitHub Code Folding

A userscript that adds code folding to GitHub files

Fra 24.10.2022. Se den seneste versjonen.