diff options
Diffstat (limited to 'man/viper.texi')
| -rw-r--r-- | man/viper.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/viper.texi b/man/viper.texi index c0059da3a97..2e27a682236 100644 --- a/man/viper.texi +++ b/man/viper.texi @@ -4542,3 +4542,7 @@ zapman@@cc.gatech.edu (Jason Zapman II), @setchapternewpage odd @contents @bye + +@ignore + arch-tag: f53e866a-15cf-4b1e-aead-77da9da1e864 +@end ignore |