On Tue, Jul 23, 2019 at 7:18 PM Devrim Gündüz <devrim@gunduz.org> wrote:

Hi Akshay,

On Tue, 2019-07-23 at 11:01 +0530, Akshay Joshi wrote:
> pgAdmin4 v4.11 candidate builds and source can be found at
> https://developer.pgadmin.org/builds/2019-07-23-1/

Where can I get some info about html_theme parameter change? I used to change
it from classic to default in the RPMs, and now it is pgadmin4 by default. The
PDF doc does not include any info about this.
Because - pgAdmin4 has its own documentation theme. :-)

-- Ashesh 

Cheers,
--
Devrim Gündüz
Open Source Solution Architect, Red Hat Certified Engineer
Twitter: @DevrimGunduz , @DevrimGunduzTR