remove redundant options header

This commit is contained in:
Joey Hess 2015-07-06 18:22:27 -04:00
parent efc3bcdba0
commit ad1ebcb1dc

View file

@ -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 <id@joeyh.name>