IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-11-02 20:30:17 -06:00
Code Issues Packages Projects Releases Wiki Activity
6,632 Commits 20 Branches 127 Tags
07f18a1b05092e88720feace8fc1191cb27b6c43
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