3 Commits

Author	SHA1	Message	Date
Anders Kaseorg	43b4f10578	run-dev: Drop .py from script name. ... Signed-off-by: Anders Kaseorg <anders@zulip.com>	2023-03-03 18:02:37 -08:00
Dhruv Gupta	03c70cbed5	docs: Spell out ./tools/run-dev.py in setup instructions. ... This location in the documentation, in particular, is one where it's likely to be helpful to spell the full path to the command when explaining it.	2023-01-30 14:32:53 -08:00
David Rosa	02eec29433	docs: Rename setup-vagrant.md -> setup-recommended.md. ... Renames the filename so that it accurately reflects its contents given the changes to the "Recommended setup" page in the previous commit, and updates all links accordingly.	2022-09-15 15:54:14 -07:00