diff man/search.texi @ 50751:ec954e051a6b

(* GNU/Linux development packages): Mention Debian and RedHat package names.
author Kai Großjohann <kgrossjo@eu.uu.net>
date Wed, 30 Apr 2003 12:36:26 +0000
parents f37984f93151
children 695cf19ef79e
line wrap: on
line diff