*.modules are named 3.25.90? wrong files? wrong names?
Oops! I will fix this. Michael _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list