summaryrefslogtreecommitdiffstats
path: root/installer/vagrant/Vagrantfile-prod-vbox
Commit message (Expand)AuthorAgeFilesLines
* #872: Adapting commits {{{8e072b9}}}, {{{cfd26b}}}, and {{{79a6616}}} from de...Ramón M. Gómez2019-02-251-1/+1
* #872: Cherry-picked from commits {{{4dabcbe}}}, {{{74210df}}}, and {{{56742db...Ramón M. Gómez2018-10-181-6/+11
* #872: Incorporar código de los tickets #835 y #840 en rama principal.Ramón M. Gómez2018-09-271-0/+164