diff options
| author | w0rp <devw0rp@gmail.com> | 2018-07-01 20:37:32 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-07-01 20:37:32 +0100 |
| commit | 059c5cfca491a59efff55d4e9ad59b8d30e0fdec (patch) | |
| tree | 92b1596d4a6e4d9494016ffe2579367e1afe0ad8 /doc | |
| parent | 2a784010668950ecc6bd8d504b966e94b91db49b (diff) | |
| download | ale-059c5cfca491a59efff55d4e9ad59b8d30e0fdec.zip | |
Fix a false positive linting issue
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-development.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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 ======================================== |