diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-06-04 22:06:00 +0200 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2018-06-07 15:20:26 -0400 |
| commit | 7af2ca22018d3e4c7865abeb8f45e6e9d8138c88 (patch) | |
| tree | b80f82a76f43a2cc4a18e9a2aa6bcde76815825d /dev-lang/polyml/polyml-5.5.0.ebuild | |
| parent | dev-db/pgadmin4: use HTTPs (diff) | |
| download | gentoo-7af2ca22018d3e4c7865abeb8f45e6e9d8138c88.tar.gz gentoo-7af2ca22018d3e4c7865abeb8f45e6e9d8138c88.tar.bz2 gentoo-7af2ca22018d3e4c7865abeb8f45e6e9d8138c88.zip | |
dev-db/psqlodbc: use HTTPs
Diffstat (limited to 'dev-lang/polyml/polyml-5.5.0.ebuild')
0 files changed, 0 insertions, 0 deletions