comparison man/pgg.texi @ 57102:5c078eb058f8

Put /dev into @file.
author Francesco Potortì <pot@gnu.org>
date Tue, 14 Sep 2004 15:22:48 +0000
parents 55fd4f77387a
children c5e16264557d
comparison
equal deleted inserted replaced
57101:8f78d0e23932 57102:5c078eb058f8