Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2003-05-01 15:41:39 -0700 (Thu, 01 May 2003) Revision: 4531 Log message:
linux-gnu is Linux