From ad1ebcb1dc65c34ff9f4c65c2af165add53c89d0 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 6 Jul 2015 18:22:27 -0400 Subject: [PATCH] remove redundant options header --- doc/git-annex-log.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/git-annex-log.mdwn b/doc/git-annex-log.mdwn index 77558890e4..bfae593d9d 100644 --- a/doc/git-annex-log.mdwn +++ b/doc/git-annex-log.mdwn @@ -29,12 +29,12 @@ showing each repository they were added to ("+") and removed from ("-"). The [[git-annex-matching-options]](1) can be used to specify files to act on. -# OPTIONS - # SEE ALSO [[git-annex]](1) +[[git-annex-forget]](1) + # AUTHOR Joey Hess