mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-10 15:36:06 -06:00
Also, takes care about not quoting the identifier, when found any digit in the name (except it starts with a digit). |
||
---|---|---|
.. | ||
server_groups | ||
static | ||
templates/browser | ||
__init__.py | ||
collection.py | ||
utils.py |