From 059c5cfca491a59efff55d4e9ad59b8d30e0fdec Mon Sep 17 00:00:00 2001 From: w0rp Date: Sun, 1 Jul 2018 20:37:32 +0100 Subject: [PATCH] Fix a false positive linting issue --- doc/ale-development.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/ale-development.txt b/doc/ale-development.txt index bcbe2c7f..841371c7 100644 --- a/doc/ale-development.txt +++ b/doc/ale-development.txt @@ -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 ========================================