mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2024-12-24 16:10:33 -06:00
43176a8c6f
We don't ship debuginfo RPMs so they're of no use, and can cause conflicts. |
||
---|---|---|
.. | ||
debian | ||
docker | ||
linux | ||
mac | ||
pip | ||
redhat | ||
src | ||
win32 |