diff man/cmdargs.texi @ 57102:5c078eb058f8

Put /dev into @file.
author Francesco Potortì <pot@gnu.org>
date Tue, 14 Sep 2004 15:22:48 +0000
parents 1d962706b322
children 0cb8dbb527b9 3219f94257bc
line wrap: on
line diff