IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-11-23 01:06:31 -06:00
Code Issues Packages Projects Releases Wiki Activity
3,127 Commits 11 Branches 107 Tags 380 MiB
c07e52b9de
Commit Graph

5 Commits

Author SHA1 Message Date
Dave Page
25b8a909b1 Update links in docs to https where possible, and fix a couple of broken/out of date ones. 2019-03-12 14:24:46 +00: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
f8b9a86e95 Include the license in the docs, and ensure it gets updated each year. 2019-03-07 15:12:12 +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