# HG changeset patch # User michael # Date 1036317919 0 # Node ID 3ac37c4beeafc3ecc88623d24c21e3a88bc9b33f # Parent e657de6721e91a03fb64ce7bae74e2101867dbb1 pp docs diff -r e657de6721e9 -r 3ac37c4beeaf DOCS/tech/vop.txt --- a/DOCS/tech/vop.txt Sun Nov 03 09:54:49 2002 +0000 +++ b/DOCS/tech/vop.txt Sun Nov 03 10:05:19 2002 +0000 @@ -110,11 +110,10 @@ plugins format list. MPI: passthru --vop pp[=flags] +-vop pp=[[: