A userscript that adds filters that toggle diff & PR folders, and files by extension
Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn
feat: use eslint-plugin-userscripts (#202)
Global: replace @include with @match (#192)