GitHub Code Folding

A userscript that adds code folding to GitHub files

Fra 01.07.2023. Se den seneste versjonen.