mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Un-break the doc build.
This commit is contained in:
parent
c12f229c64
commit
dd92196c40