IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-11-27 19:20:21 -06:00
Code Issues Packages Projects Releases Wiki Activity
1,815 Commits 11 Branches 107 Tags 382 MiB
ca7fe9a520
Commit Graph

5 Commits

Author SHA1 Message Date
Murtuza Zabuawala
f0066d6006 Update preferences docs. 2017-06-27 17:04:56 -04:00
Dave Page
3cc58cf3de Remove help text for an option that no longer exists. 2017-02-04 14:23:43 +01:00
Dave Page
f4f8273994 Display basic query info when execution completes in the query tool. Fixes #1507 2016-07-27 11:36:13 +01:00
Susan Douglas
5051470bc7 Doc restructuring 2016-06-21 09:06:44 +01:00
Susan Douglas
b0a901e90e More doc updates. 2016-06-07 09:04:58 +01:00