pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
5,559 Commits
17 Branches
115 Tags
411 MiB
Commit Graph

51 Commits (35fb3bb38f77102df2271ab679f90c2293679fc5)

Author SHA1 Message Date
Dave Page 5ea822f33e Preferences dialogue. Patch by Ashesh and Khushboo Vashi. 2016-03-07 11:48:53 +00:00