diff src/s/gnu-linux.h @ 99940:cd09d7df2a1b

checked text.texi
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 26 Nov 2008 04:17:13 +0000
parents 876b289a899e
children dcc7f5970d5c
line wrap: on
line diff