wok view krb5/stuff/krb5-dev.files-list @ rev 1633

grub: add CONFIG_FILES
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Oct 23 20:33:28 2008 +0000 (2008-10-23)
parents
children
line source
1 /usr/include