remove redundant OPTIONS section

This commit is contained in:
Joey Hess 2018-11-15 22:38:35 -04:00
parent 39fbaa0682
commit fac397c875
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -103,8 +103,6 @@ With parameters, only the specified files are checked.
Messages that would normally be output to standard error are included in
the json instead.
# OPTIONS
# SEE ALSO
[[git-annex]](1)