diff man/vip.texi @ 68950:85f92eabec4d

Remove the coding cookie, it's not needed anymore.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 17 Feb 2006 10:34:16 +0000
parents dc2d5a6655a3
children 11b616eddda4 c5406394f567
line wrap: on
line diff