Skip to content
This repository was archived by the owner on Apr 28, 2025. It is now read-only.

Disable Vagrant guest tools update#8

Merged
dnsmichi merged 1 commit intomasterfrom
bugfix/vagrant-disable-guest-tools-update
Aug 1, 2018
Merged

Disable Vagrant guest tools update#8
dnsmichi merged 1 commit intomasterfrom
bugfix/vagrant-disable-guest-tools-update

Conversation

@dnsmichi
Copy link
Copy Markdown

@dnsmichi dnsmichi commented Aug 1, 2018

This is known to cause trouble, and we won't use shared folders
anyways later on.

This is known to cause trouble, and we won't use shared folders
anyways later on.
@dnsmichi dnsmichi added this to the 2.3.0 milestone Aug 1, 2018
@dnsmichi dnsmichi merged commit 310476f into master Aug 1, 2018
@dnsmichi dnsmichi deleted the bugfix/vagrant-disable-guest-tools-update branch August 1, 2018 12:47
@dnsmichi dnsmichi modified the milestones: 2.3.0, 2.2.1 Aug 3, 2018
martialblog added a commit that referenced this pull request Nov 28, 2022
e75ce90 Merge pull request #9 from NETWAYS/update-trainings
cbc64f9 Merge pull request #8 from NETWAYS/update-solutions
1c1dae1 Update Training Overview Image
448241b Update solutions image

git-subtree-dir: global
git-subtree-split: e75ce90863a1193ba359685636213580d6a67aaa
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant