pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
pgadmin4/docs/en_US/theme/pgadmin4
History
Dave Page 5b00ad0336 Remove extra whitespace. 2019-11-11 14:55:53 +00:00
..
static Add navigation links to the bottom of the docs, and embiggen the font a touch. 2019-11-07 16:37:54 +00:00
layout.html Remove extra whitespace. 2019-11-11 14:55:53 +00:00
theme.conf Use our own doc theme. 2019-07-04 14:10:01 +01:00