summaryrefslogtreecommitdiffstats
path: root/vagrant/Vagrantfile
AgeCommit message (Expand)AuthorFilesLines
2018-10-29Change Vagrant default providerVictor Morales1-1/+1
2018-10-18Add License headersVictor Morales1-0/+8
2018-09-13Change working dir in VagrantfileVictor Morales1-1/+1
2018-09-05Use local changes to build imagesVictor Morales1-0/+1
2018-08-30Add KRD source codeVictor Morales1-0/+114