changeset 7277:6a2af30d33fe

*** empty log message ***
author Richard M. Stallman <rms@gnu.org>
date Mon, 02 May 1994 18:14:01 +0000
parents 66f3335be178
children fa6a265334a2
files lispref/os.texi
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/lispref/os.texi	Mon May 02 17:47:58 1994 +0000
+++ b/lispref/os.texi	Mon May 02 18:14:01 1994 +0000
@@ -558,6 +558,9 @@
 @item irix
 Silicon Graphics Irix system.
 
+@item linux
+The free Linux operating system.
+
 @item rtu
 Masscomp RTU, UCB universe.