run-dev: Drop .py from script name.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2023-03-03 17:17:54 -08:00
parent 5a79ca251b
commit 43b4f10578
27 changed files with 47 additions and 47 deletions

View File

@@ -288,7 +288,7 @@ the [management commands][management-commands] documentation.
### Integrations Dev Panel
This is the GUI tool.
1. Run `./tools/run-dev.py` then go to http://localhost:9991/devtools/integrations/.
1. Run `./tools/run-dev` then go to http://localhost:9991/devtools/integrations/.
2. Set the following mandatory fields:
**Bot** - Any incoming webhook bot.