Public Git Hosting - librepilot.git/tree - make/vagrant/vagrant_openpilot_dev/

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)

[librepilot.git] / make / vagrant / vagrant_openpilot_dev /

tree	ed403bb5e85955f6d3943eb4b1e8977e83b9c30e

drwxr-xr-x		..
-rw-r--r--	1448	README	blob \| blame \| history \| raw
-rw-r--r--	1059	Vagrantfile	blob \| blame \| history \| raw
-rw-r--r--	467	bootstrap.sh	blob \| blame \| history \| raw
-rw-r--r--	2611	install-tools.sh	blob \| blame \| history \| raw