%FILES%
boot/
boot/gnumach
usr/
usr/share/
usr/share/msgids/
usr/share/msgids/gnumach.msgids
