diff options
Diffstat (limited to 'etc/tasks.texi')
| -rw-r--r-- | etc/tasks.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/tasks.texi b/etc/tasks.texi index 7984cac663a..c4ecca49ffe 100644 --- a/etc/tasks.texi +++ b/etc/tasks.texi @@ -958,3 +958,7 @@ time-stamp-end: "$" time-stamp-format: "%:b %:d, %:y" compile-command: "make just-tasks" End: + +@ignore + arch-tag: 7ed10085-fa7c-47d4-9ed5-39e885603e5c +@end ignore |