diff options
| author | Toni <jeder@mail1a.de> | 2016-08-13 09:24:24 +0200 |
|---|---|---|
| committer | Toni <jeder@mail1a.de> | 2016-08-13 09:24:24 +0200 |
| commit | e0aa2169055f554a3cb87208b1e73a6b2707405b (patch) | |
| tree | 6c74a1f7284f385b99a231ef0c1c805fab1083e5 /Vagrantfile | |
| parent | cafa528b88c097f02ae92a5b15b015f5653cefe7 (diff) | |
| parent | 098951905d527c19043de75ef262ac9679ec452b (diff) | |
Merge remote-tracking branch 'origin/master' into iso_split_rshift
update from Upstream
Diffstat (limited to 'Vagrantfile')
| -rw-r--r-- | Vagrantfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Vagrantfile b/Vagrantfile index 8cadeaddfc..389b688ae7 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -91,7 +91,7 @@ Vagrant.configure(2) do |config| Or you can copy and paste the example line below. - cd /vagrant; cd keyboards; cd ergodox_ez; make clean; make + cd /vagrant; cd keyboards; cd ergodox; make clean; make EOT |