wok-4.x log krb5/stuff/krb5-plugins.files-list

age author description
2010-07-20 Pascal Bellard krb5: update file lists
2008-08-31 Pascal Bellard Add krb5