wok-6.x diff krb5/stuff/krb5-dev.files-list @ rev 23257

updated octave (5.1.0 -> 5.2.0)
author Hans-G?nter Theisgen
date Thu Mar 26 06:34:52 2020 +0100 (2020-03-26)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/krb5/stuff/krb5-dev.files-list	Thu Mar 26 06:34:52 2020 +0100
     1.3 @@ -0,0 +1,1 @@
     1.4 +/usr/include