mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Allow user to edit the connection properties when the database server is already connected. |
||
---|---|---|
.. | ||
__init__.py |
Allow user to edit the connection properties when the database server is already connected. |
||
---|---|---|
.. | ||
__init__.py |