diff options
| author | qlcom <nocontent@tutanota.com> | 2020-09-24 00:07:43 +0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-23 14:07:43 -0400 |
| commit | 1021dad5f61d4328f02786f02687aecdab11bcfc (patch) | |
| tree | af5e2e1546a7f92b2ed38cb320ab25a63fbe7639 /tools/README.md | |
| parent | 71c2497fd47829a177b81a884b75f705272156b2 (diff) | |
mark shell code blocks as sh instead of bash (#7645)
Diffstat (limited to 'tools/README.md')
| -rw-r--r-- | tools/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/README.md b/tools/README.md index 5f3a8c476..ad4dfa603 100644 --- a/tools/README.md +++ b/tools/README.md @@ -9,7 +9,7 @@ is a prerequisite to run this before code check in. To run formatting: -```bash +```sh ./tools/format.py ``` @@ -20,6 +20,6 @@ It is a prerequisite to run this before code check in. To run linting: -```bash +```sh ./tools/lint.py ``` |