diff options
Diffstat (limited to 'doc/misc/ses.texi')
| -rw-r--r-- | doc/misc/ses.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/ses.texi b/doc/misc/ses.texi index 94ef50e4348..8b081441462 100644 --- a/doc/misc/ses.texi +++ b/doc/misc/ses.texi @@ -982,7 +982,3 @@ Jean-Philippe Theberge @email{jphil@@acs.pagesjaunes.fr} @include doclicense.texi @bye - -@ignore - arch-tag: 10a4ee1c-7ef4-4c06-8b7a-f975e39f0dec -@end ignore |