diff options
Diffstat (limited to 'doc/misc/sc.texi')
| -rw-r--r-- | doc/misc/sc.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/sc.texi b/doc/misc/sc.texi index b85c9e88715..3ab5fdeb5d3 100644 --- a/doc/misc/sc.texi +++ b/doc/misc/sc.texi @@ -1941,7 +1941,3 @@ its @var{variable} name. @end iftex @printindex vr @bye - -@ignore - arch-tag: 0521847a-4680-44b6-ae6e-13ce20e18436 -@end ignore |