wok view krb5/stuff/krb5-plugins.files-list @ rev 21676

updated pgadmin (1.18.1 -> 1.22.2)
author Hans-G?nter Theisgen
date Sat Jun 01 17:55:28 2019 +0100 (2019-06-01)
parents 23798260cf7d
children
line source
1 /usr/lib/krb5/plugins