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	5c496e94e9864dd10b3971f89649a0975707403a

drwxr-xr-x		..
-rw-r--r--	1819	README	blob \| blame \| history \| raw
-rw-r--r--	1059	Vagrantfile	blob \| blame \| history \| raw
-rw-r--r--	512	bootstrap.sh	blob \| blame \| history \| raw
-rw-r--r--	3072	install-tools.sh	blob \| blame \| history \| raw