fix(provision): remove unneeded vagantfile
authorJavier Bértoli <jbertoli@curii.com>
Wed, 21 Apr 2021 15:01:30 +0000 (12:01 -0300)
committerJavier Bértoli <jbertoli@curii.com>
Wed, 21 Apr 2021 15:01:30 +0000 (12:01 -0300)
commit69b739e3428907392746f91fd14e77a94bb4a8ce
treeb8b00305fc023cd1a9c504e92d95d6c2e4e5892b
parent71be4f147153573074a3eff4bfa1be559bc091b5
fix(provision): remove unneeded vagantfile

refs #17570
Arvados-DCO-1.1-Signed-off-by: Javier Bértoli <jbertoli@curii.com>
tools/salt-install/.gitignore
tools/salt-install/Vagrantfile.single_host_single_hostname.example [deleted file]