mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Doc updates after renaming SQL Editor section of the Preference panel.
This commit is contained in:
committed by
Dave Page
parent
235a75202d
commit
4a6426d3e7
Binary file not shown.
|
Before Width: | Height: | Size: 141 KiB After Width: | Height: | Size: 226 KiB |
Reference in New Issue
Block a user