comparison admin/check-doc-strings @ 57102:5c078eb058f8

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