Skip to content
Prev 36355 / 63424 Next

Difference Linux / Windows

On Apr 1, 2010, at 11:59 , Paul Gilbert wrote:

            
Well, that is an entirely different issue and it is easy since we  
already have the mechanism in place: OS_type.

Cheers,
Simon