diff options
| author | Horacio Sanson <hsanson@gmail.com> | 2020-10-01 20:44:35 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-01 20:44:35 +0900 |
| commit | 2d3ed956b944132e1d520446493fa5c9aa8a309f (patch) | |
| tree | 6fa385687a37289653a93405c568ca5152ce37d2 /doc | |
| parent | 96dcbd1f2069843acdc57646074b3d9f0e768044 (diff) | |
| parent | 7857098cb03f7b50fe0343178b954e70cb8b4df3 (diff) | |
| download | ale-2d3ed956b944132e1d520446493fa5c9aa8a309f.zip | |
Merge pull request #3375 from isaif/fix-doc
Fix grammatical error in doc
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 6ef137c1..b63c51a2 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -154,7 +154,7 @@ Any existing problems will be kept. 3.1 Linting On Other Machines *ale-lint-other-machines* ALE offers support for running linters or fixers on files you are editing -locally on other machines, so long as the other machine has access the file +locally on other machines, so long as the other machine has access to the file you are editing. This could be a linter or fixer run inside of a Docker image, running in a virtual machine, running on a remote server, etc. |