feat: Developer Guide - GUI - DataGrip (#14689)#15037

Merged

ti-chi-bot[bot] merged 6 commits intopingcap:release-7.2from ti-chi-bot:cherry-pick-14689-to-release-7.2

Oct 13, 2023

+179

Commits on Oct 13, 2023

feat: datagrip doc

Icemap
authored and
ti-chi-bot
committed
feat: wording

Icemap
authored and
ti-chi-bot
committed
Update dev-guide-gui-datagrip.md

shizn
authored and
ti-chi-bot
committed
feat: remove redundent description

Icemap
authored and
ti-chi-bot
committed
update wording, format, alt text

Oreoxmt
authored and
ti-chi-bot
committed
Apply suggestions from code review

authored and
ti-chi-bot
committed