mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2024-11-25 18:20:20 -06:00
17b6053f45
A distro can now install a config_distro.py file alongside config.py in which distro-specific configuration settings can be set, overriding those in config.py. User settings in config_local.py will override all other settings. This is useful to allow packagers to config settings like the doc path, that may be specific to RPMs or Wheels etc. |
||
---|---|---|
.. | ||
build.sh | ||
setup_pip.py |