diff options
| author | Roman971 <32455037+Roman971@users.noreply.github.com> | 2022-07-30 15:24:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-30 09:24:52 -0400 |
| commit | 0ce2e75560dde29a5f0eb8680e2123b36b8e1e68 (patch) | |
| tree | db6668591f4b1d5baba38f875be8372545757ff3 /docs | |
| parent | 1d19f37b26be989e5da58975a5e2a95a0ae7cf4f (diff) | |
Rewrite format script in python to improve speed with multiprocessing (#1331)
* Rewrite format script in python to improve speed with multiprocessing
* Make format.py executable
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/tutorial/merging.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tutorial/merging.md b/docs/tutorial/merging.md index f2554d31e..a5e7b66f6 100644 --- a/docs/tutorial/merging.md +++ b/docs/tutorial/merging.md @@ -59,7 +59,7 @@ If you can't match a function even with everyone's, don't worry overlong about i ### Format -Run the formatting script `format.sh`, to format the C files in the standard way we use. +Run the formatting script `format.py`, to format the C files in the standard way we use. ### Merge master |