Fix a false positive linting issue

This commit is contained in:
w0rp 2018-07-01 20:37:32 +01:00
parent 2a78401066
commit 059c5cfca4
No known key found for this signature in database
GPG Key ID: 0FC1ECAA8C81CD83

View File

@ -196,7 +196,7 @@ margin. For example, if you add a heading for an `aardvark` tool to
========================================
Badly aligned tags follow:
doc/ale-python.txt:aardvark *ale-python-aardvark*
doc/ale-python.txt:aardvark ...
========================================
Look for table of contents issues
========================================