Use GNU/Linux when referring to the OS instead of the kernel
authorFabian Keil <fk@fabiankeil.de>
Thu, 25 Oct 2018 13:01:32 +0000 (15:01 +0200)
committerFabian Keil <fk@fabiankeil.de>
Thu, 25 Oct 2018 13:14:50 +0000 (15:14 +0200)
commitd65b7df9b986c4de1014b6b1b237d678e7b59fa8
treecf71ed1e85e5185ee3022d2a8ad1de9075072112
parentdfd5fc0277170f121ff5b4a1daa88406ea549f2b
Use GNU/Linux when referring to the OS instead of the kernel
doc/source/user-manual.sgml