installing taskrmbmenu.h from kdebase/workspace/libs/taskmanager

[Gallien Matthieu]

Hi,
sorry if it is not the correct list for this patch but I am not sure of the 
right kde list for that.
In the file kdebase/workspace/libs/taskmanager/taskrmbmenu.h, the class 
TaskRMBMenu is declared with the macro KDE_EXPORT but the header is not 
installed. Is it possible to install it ?

thanks in advance
-- 
Gallien Matthieu
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-libtasks.diff
Type: text/x-diff
Size: 649 bytes
Desc: not available
Url : http://mail.kde.org/pipermail/panel-devel/attachments/20080517/b5acdc06/attachment.bin