K 10 svn:author V 6 marcus K 8 svn:date V 27 2004-08-04T21:59:44.000000Z K 7 svn:log V 116 Fix warnings when doing make deinstall by applying some @unexec magic when removing shared directories. PR: 70013 END