public inbox for [email protected]
help / color / mirror / Atom feedFrom: Dave Page <[email protected]>
To: [email protected]
Subject: pgAdmin 4 commit: Use our own doc theme.
Date: Thu, 25 Jul 2019 09:23:20 +0000
Message-ID: <[email protected]> (raw)
Use our own doc theme.
Branch
------
electron2
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=abc4eb5f6426a8d9842c7f6af825d75b6cff...
Modified Files
--------------
docs/en_US/conf.py | 40 +-
docs/en_US/theme/pgadmin4/layout.html | 4 +
docs/en_US/theme/pgadmin4/static/favicon.ico | Bin 0 -> 78998 bytes
docs/en_US/theme/pgadmin4/static/style.css | 526 +++++++++++++++++++++++++++
docs/en_US/theme/pgadmin4/theme.conf | 11 +
5 files changed, 561 insertions(+), 20 deletions(-)
view thread (2+ messages)
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: [email protected]
Cc: [email protected], [email protected]
Subject: Re: pgAdmin 4 commit: Use our own doc theme.
In-Reply-To: <[email protected]>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox