From 82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Mon, 26 Apr 2021 17:28:56 +0200 Subject: -fix misc typos --- contrib/vagrant/Vagrantfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'contrib/vagrant/Vagrantfile') diff --git a/contrib/vagrant/Vagrantfile b/contrib/vagrant/Vagrantfile index d6b671b24..de7f07ed5 100644 --- a/contrib/vagrant/Vagrantfile +++ b/contrib/vagrant/Vagrantfile @@ -34,7 +34,7 @@ Vagrant.configure(2) do |config| config.cache.scope = :box end - # use http proxy if avaiable + # use http proxy if available if ENV['http_proxy'] && Vagrant.has_plugin?("vagrant-proxyconf") config.proxy.http = "$http_proxy" config.proxy.https = "$https_proxy" -- cgit v1.2.3