diff options
| author | Miles Bader <miles@gnu.org> | 2004-05-30 06:06:25 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 2004-05-30 06:06:25 +0000 |
| commit | 8ad27ccc472a8a0f9b03e4a311672a99fbccff9c (patch) | |
| tree | 3a91ea2d628df4e41f8f707249be600e0bc73822 /man/flymake.texi | |
| parent | f013b583d9135a8ba492b4bec1100a18e297142d (diff) | |
| download | emacs-8ad27ccc472a8a0f9b03e4a311672a99fbccff9c.tar.gz | |
Changes from arch/CVS synchronization
Diffstat (limited to 'man/flymake.texi')
| -rw-r--r-- | man/flymake.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/flymake.texi b/man/flymake.texi index 47f18cae36a..e710b903361 100644 --- a/man/flymake.texi +++ b/man/flymake.texi @@ -765,3 +765,7 @@ It just kills all the active syntax check processes before calling @printindex cp @bye + +@ignore + arch-tag: 9f0db077-5598-49ab-90b9-8df9248a63ec +@end ignore |