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 1ca9912987 Cleanup some duplicated styles. 2020-06-17 11:31:07 +01:00
..
static Cleanup some duplicated styles. 2020-06-17 11:31:07 +01: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