mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-09-03 20:52:57 -05: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.