GitHub: a selection of chrome plug-ins

Time:2020-10-27

GitHub: a selection of chrome plug-ins

1.Git History Browser Extension

History panel

GitHub: a selection of chrome plug-ins

2.Octotree

Quick navigation on the left and switching directories and files

GitHub: a selection of chrome plug-ins

3.Sourcegraph

Go to definition

GitHub: a selection of chrome plug-ins

4.OctoLinker

Jump to file link

GitHub: a selection of chrome plug-ins

5.Enhanced GitHub

Provide download and other navigation

GitHub: a selection of chrome plug-ins


Let’s like the children’s shoes you got-_ /

Recommended Today

Design considerations and MySQL database

The following is my personal opinion. I have written it wrong, or I understand it wrong. Please understandIf there is a problem with self built MySQL using the information in this article, please don’t come to meIf you have a better solution, or suggestions, you are welcome to submit the versionTimAutumnWind (please indicate the source […]