org-lint: Improve report
commit91e26352c5a73a8a2e42b20e08dc6e6016c07aed
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 5 Oct 2016 22:23:02 +0000 (6 00:23 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 5 Oct 2016 22:23:02 +0000 (6 00:23 +0200)
tree088660fb2042089803216af29192cc84f39cdda6
parent64ea67c38f39647826c0272d994cf4d5541203c2
org-lint: Improve report

* lisp/org-lint.el (org-lint-extraneous-element-in-footnote-section):
  More accurate report for extraneous elements in footnotes section.
lisp/org-lint.el