diff src/s/gnu-linux.h @ 57102:5c078eb058f8

Put /dev into @file.
author Francesco Potortì <pot@gnu.org>
date Tue, 14 Sep 2004 15:22:48 +0000
parents 9dce5e8bf384
children f86ad7205885 b9eee0a7bef5
line wrap: on
line diff