>>>>> "Michael" == Michael Schmitt <[EMAIL PROTECTED]> writes:

Michael> Hello,

Hello,

Michael> could anybody please add the following line to
Michael> 'lyx_gui_misc.h'

Michael>    using std::pair;

I just did it (although I did not commit the change yet).

JMarc

Reply via email to