Eggbertx b2911f8fde Update guest/host port mappings to use ports > 1024 to avoid permission issues in Linux		2024-09-18 22:13:58 -07:00
..
bootstrap.sh	Rename devtools directory to tools, add get_js.py to download JS	2024-08-09 18:16:10 -07:00
Vagrantfile	Update guest/host port mappings to use ports > 1024 to avoid permission issues in Linux	2024-09-18 22:13:58 -07:00