diff options
| author | Lars Magne Ingebrigtsen <larsi@gnus.org> | 2010-09-02 00:55:51 +0000 |
|---|---|---|
| committer | Katsumi Yamaoka <yamaoka@jpl.org> | 2010-09-02 00:55:51 +0000 |
| commit | 53080505af9e0641753909f057897b4203dd2269 (patch) | |
| tree | 3f52c9194c21cc075a050c0d761b32e0e35e415d /etc/gnus | |
| parent | 261ff377d4488834a77324e5dced30b0168dbfbd (diff) | |
Remove arch-tags from all files, since these are no longer needed.
Diffstat (limited to 'etc/gnus')
| -rw-r--r-- | etc/gnus/gnus-setup.ast | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/etc/gnus/gnus-setup.ast b/etc/gnus/gnus-setup.ast index 31eeee024e..f2493b8653 100644 --- a/etc/gnus/gnus-setup.ast +++ b/etc/gnus/gnus-setup.ast @@ -48,8 +48,3 @@ Run M-x assistant and use the news-server.ast file as input. @c Local variables: @c mode: texinfo @c End: - -@ignore - arch-tag: 6b7b200b-9169-4b44-8b32-b73773fa71af -@end ignore - |