summaryrefslogtreecommitdiff
path: root/en/welcome/what-is-linux.xml
AgeCommit message (Expand)Author
2021-09-15Some more changings in the light of Linux <-> GNU/Linux issueHolger Wansing
2021-09-10Don't call Linux an operating system; use GNU/Linux instead.Holger Wansing
2014-01-29Remove unnecessary "More", thanks to Judit Gyimesi.Holger Wansing
2009-11-06Add link to www.kernel.org and remove www.kerneltraffic.orgFrans Pop
2007-02-16Make links to FSF and GNU more consistent; with thanks to Francesco PoliFrans Pop
2005-10-07move manual to top-level directory, split out of debian-installer packageJoey Hess