diff src/s/gnu-linux.h @ 98193:85915b708993

Remove file.
author Glenn Morris <rgm@gnu.org>
date Tue, 16 Sep 2008 02:45:51 +0000
parents 3866542dcfee
children 876b289a899e
line wrap: on
line diff