diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-06-04 22:03:42 +0200 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2018-06-07 15:20:25 -0400 |
| commit | 0b2ffe55f3cd6c5b76444904815816dd11fa520b (patch) | |
| tree | 336911e9b202270a6e6a582a1d3707c87c02f654 /dev-db/pgadmin3 | |
| parent | dev-db/pgrouting: use HTTPs (diff) | |
| download | gentoo-0b2ffe55f3cd6c5b76444904815816dd11fa520b.tar.gz gentoo-0b2ffe55f3cd6c5b76444904815816dd11fa520b.tar.bz2 gentoo-0b2ffe55f3cd6c5b76444904815816dd11fa520b.zip | |
dev-db/pgtap: use HTTPs
Diffstat (limited to 'dev-db/pgadmin3')
0 files changed, 0 insertions, 0 deletions