IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-10-25 14:10:05 -05:00
Code Issues Packages Projects Releases Wiki Activity
5,191 Commits 16 Branches 127 Tags
91a288c2bbb429da0f0db0768df04d507d1a2d04
Commit Graph
6 Commits
Author SHA1 Message Date
Dave Page c76b30e353 Allow configuration options to be set from the environment in the container distribution. Fixes #4651 2019-08-22 15:24:04 +01:00
Dave Page 8f1f04e5f3 Major doc cleanup: 
- Reformat source so it's wrapped.
- Standardise markup.
- Center images.
- Restructure in various places to improve the indexing.
- Remove duplicated Query Tool toolbar descriptions.
- Ensure the structure works in both HTML and LaTeX.
 2019-03-08 15:29:05 +00:00
Dave Page 64ee23a088 Some doc restructuring and cleanup. 2019-03-07 14:26:56 +00:00
Dave Page 1141930178 Allow servers to be pre-loaded into container deployments. Fixes #3801 2018-12-05 17:16:46 +00:00
Akshay Joshi 1a6b6f61f7 Fix documentation indexing. 2018-06-15 09:14:12 +01:00
Susan Douglas 5051470bc7 Doc restructuring 2016-06-21 09:06:44 +01:00