K 10 svn:author V 5 joerg K 8 svn:date V 27 1996-10-21T18:06:02.000000Z K 7 svn:log V 81 Merge the -p changes (rev 1.2 of vgrind.sh) into this branch, and document them. END