GitHub Code Folding

A userscript that adds code folding to GitHub files

À partir de 2023-07-01. Voir la dernière version.