diff options
| author | Bartek thindil Jasicki <thindil@laeran.pl> | 2020-10-02 09:36:32 +0200 |
|---|---|---|
| committer | Bartek thindil Jasicki <thindil@laeran.pl> | 2020-10-02 09:36:32 +0200 |
| commit | bd1b671e82445a0182fba231d14c2e808a77d8a7 (patch) | |
| tree | 7da217badb1ef29209105a4d9e5fba296f326b0f /doc | |
| parent | 1781b1eab0f9c8e6dd5beca302bd9cd430d7f7b2 (diff) | |
| parent | 2d3ed956b944132e1d520446493fa5c9aa8a309f (diff) | |
| download | ale-bd1b671e82445a0182fba231d14c2e808a77d8a7.zip | |
Merge remote-tracking branch 'upstream/master'
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 0a348d5b..4cadccdc 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. |