edito

Linux, or GNU/Linux ?

I'm giving my opinion on a question that doesn't matter

Welcome !

What is this all about ?