diff options
Diffstat (limited to 'tools')
| -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 ``` |