IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-11-24 09:40:21 -06:00
Code Issues Packages Projects Releases Wiki Activity
6,753 Commits 11 Branches 107 Tags 380 MiB
06a612481f
Commit Graph

3 Commits

Author SHA1 Message Date
Dave Page
e4bf52f355 Don't distinguish between issue types in their URL text. 2019-07-05 11:38:12 +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
405de59298 Fix name of release notes. 2018-01-10 10:45:29 +00:00