mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Fixed documentation error.
This commit is contained in:
parent
eec2cfd5dd
commit
0dd1cb3fc1