mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-11-04 13:17:17 -06:00
pgAdmin wheel distro is not having pgadmin.themes.json file in 'web/pgadmin/misc/themes' directory, so it's better to refer this file from the generated directory.