summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-db/phppgadmin: remote_id -> githubAlfredo Tupone12 days1-1/+1
* dev-db/phppgadmin: version bump to 7.13.0Alfredo Tupone2020-12-302-0/+39
* dev-db/phppgadmin: remove old versionAlfredo Tupone2020-08-032-39/+0
* dev-db/phppgadmin: version bump to 7.12.1Alfredo Tupone2020-07-212-0/+39
* dev-db/phppgadmin: readd to the treeAlfredo Tupone2020-07-204-0/+54
* dev-db/phppgadmin: RemovalAaron W. Swenson2018-01-145-103/+0
* dev-db/phppgadmin: [QA] Port to git-r3David Seifert2017-12-251-1/+1
* dev-db/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
* dev-db/phppgadmin: use HTTPS for GitHubDavid Hicks2017-07-301-3/+2
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-282-2/+0
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-2/+2
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-2/+8
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-1/+1
* Add missing remote-id type=sourceforgeJustin Lecher2015-10-011-3/+6
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-085-0/+97