Github Better Diff JS - A userscript that adds a button to make the diff better Author marcopelegrini Daily installs 0 Total installs 11 Ratings 0 0 0 Created 2019-04-18 Updated 2020-11-27
Github Move Checks JS - A userscript that move checks to the top of the page Author marcopelegrini Daily installs 0 Total installs 1 Ratings 0 0 0 Created 2020-11-27 Updated 2020-11-27