diff src/s/gnu-linux.h @ 104191:8a53cc1b06f5

Fix header.
author Glenn Morris <rgm@gnu.org>
date Sat, 08 Aug 2009 02:34:30 +0000
parents 21a9a415c6d0
children 1d1d5d9bd884
line wrap: on
line diff