diff options
author | isaif <saif935775@gmail.com> | 2020-10-01 16:23:49 +0530 |
---|---|---|
committer | isaif <saif935775@gmail.com> | 2020-10-01 16:23:49 +0530 |
commit | 7857098cb03f7b50fe0343178b954e70cb8b4df3 (patch) | |
tree | 6fa385687a37289653a93405c568ca5152ce37d2 /doc | |
parent | 96dcbd1f2069843acdc57646074b3d9f0e768044 (diff) | |
download | ale-7857098cb03f7b50fe0343178b954e70cb8b4df3.zip |
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. |