☰

GitHub Diff Files Filter

A userscript that adds filters that toggle diff & PR files by extension

Ekde 2016/12/31. Vidu La ĝisdata versio.

Aŭtoro
Mottie
Ratings
0 0 0
Versio
0.1.0
Kreita
2016/12/31
Ĝisdatigita
2016/12/31
Size
4,79 kb
Licenco
https://creativecommons.org/licenses/by-sa/4.0/
Aplikiĝas al