diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-08 15:32:40 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-08 15:32:40 +0000 |
commit | 0ce0d6893b3eb2670c9bed19b810ea070272d78e (patch) | |
tree | be2981e0c483f22013dff5a556f22176ee0669b9 /docs/dev | |
parent | e2e6b709e60f22279b755ceae74e579520c9ae3b (diff) | |
parent | 4f008bf8b238d60eb1778d7e28da07b5de8f1a86 (diff) |
Merge #6762
6762: fix typo of README in dev r=lnicola a=sasurau4
Fix typo of README in dev
Co-authored-by: Daiki Ihara <[email protected]>
Diffstat (limited to 'docs/dev')
-rw-r--r-- | docs/dev/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/dev/README.md b/docs/dev/README.md index ca324493f..2795f6b5c 100644 --- a/docs/dev/README.md +++ b/docs/dev/README.md | |||
@@ -170,7 +170,7 @@ In general, API is centered around UI concerns -- the result of the call is what | |||
170 | The results are 100% Rust specific though. | 170 | The results are 100% Rust specific though. |
171 | Shout outs to LSP developers for popularizing the idea that "UI" is a good place to draw a boundary at. | 171 | Shout outs to LSP developers for popularizing the idea that "UI" is a good place to draw a boundary at. |
172 | 172 | ||
173 | ## LSP is sateless | 173 | ## LSP is stateless |
174 | 174 | ||
175 | The protocol is implemented in the mostly stateless way. | 175 | The protocol is implemented in the mostly stateless way. |
176 | A good mental model is HTTP, which doesn't store per-client state, and instead relies on devices like cookies to maintain an illusion of state. | 176 | A good mental model is HTTP, which doesn't store per-client state, and instead relies on devices like cookies to maintain an illusion of state. |