aboutsummaryrefslogtreecommitdiff
path: root/tools/vagrant
Commit message (Expand)AuthorAge
* tools: drop vagrantDaniel Axtens2018-02-27
* tools: Run scripts through shellcheckStephen Finucane2017-02-06
* docs: Update readthedocs URLsStephen Finucane2016-09-01
* docker: Move 'docker' directory to 'tools'Stephen Finucane2016-09-01