summaryrefslogtreecommitdiff
path: root/contrib/dev/vagrant/bootstrap.sh
AgeCommit message (Expand)AuthorFilesLines
2017-06-02Remove dead code related to the Vagrant dev environmentJuan J. Martinez1-226/+0
2017-05-26Fix sed replacement command in Ubuntu's install_dockerJuan J. Martinez1-1/+1
2016-11-06Merge "Fix broken test in vagrant boostrap script"Jenkins1-3/+3
2016-10-27Fix broken test in vagrant boostrap scriptMartin André1-3/+3
2016-10-22Update "=" to "==" in "if" conditioncaoyuan1-3/+3
2016-10-14Move demos and dev directory into a new contrib directoryChristian Berendt1-0/+226