开发者工具 分类下的插件

github magic!

2021-04-09 开发者工具

Enhances Github diff pages. Click on a line number to open or Option/Ctrl + click on a line number to edit the file at the position.