paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-22 07:21:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
50,217 Commits 30 Branches 160 Tags
0628c3cac8e3f0d45e134c5bb6bb34cb78a077fc
Commit Graph

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