mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
The exclude command line option relies on the directory name. This needs fixing...
This reverts commit 9288d69b62.
The exclude command line option relies on the directory name. This needs fixing...
This reverts commit 9288d69b62.