diff options
| -rw-r--r-- | lispintro/texinfo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lispintro/texinfo.tex b/lispintro/texinfo.tex index dddd0140ff0..a77ed16f93b 100644 --- a/lispintro/texinfo.tex +++ b/lispintro/texinfo.tex | |||
| @@ -7222,5 +7222,5 @@ should work if nowhere else does.} | |||
| 7222 | @c vim:sw=2: | 7222 | @c vim:sw=2: |
| 7223 | 7223 | ||
| 7224 | @ignore | 7224 | @ignore |
| 7225 | arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115 | 7225 | arch-tag: 53261dd3-7df7-4ec3-9d90-af7a955d3c87 |
| 7226 | @end ignore | 7226 | @end ignore |