fix Linux to GNU/Linux

Authored by timotheegiet on Apr 20 2019, 10:37 AM.

Description

fix Linux to GNU/Linux

Details

Committed
timotheegietApr 20 2019, 10:37 AM
Parents
R924:25201cd6c953: fix typo
Branches
Unknown
Tags
Unknown