GitHub Code Folding

A userscript that adds code folding to GitHub files

Verze ze dne 01. 07. 2023. Zobrazit nejnovější verzi.