wok view krb5/stuff/krb5-user.files-list @ rev 21630

openjpeg2: modified WGET_URL
author Hans-G?nter Theisgen
date Tue May 28 13:37:38 2019 +0100 (2019-05-28)
parents 23798260cf7d
children
line source
1 /usr/bin/kdestroy
2 /usr/bin/kinit
3 /usr/bin/klist
4 /usr/bin/kpasswd
5 /usr/bin/ksu
6 /usr/bin/kvno
7 /usr/bin/k5srvutil
8 /usr/bin/kadmin