From 339d1b3760b560757cd6dcf0e0d222f9d0306002 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Thu, 16 Feb 2023 10:03:35 +0100
Subject: [PATCH] Vagrant provision: Update comment about NVM

---
 provision/provision.vagrant.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/provision/provision.vagrant.sh b/provision/provision.vagrant.sh
index 6305cd7a..2dce84cd 100644
--- a/provision/provision.vagrant.sh
+++ b/provision/provision.vagrant.sh
@@ -38,7 +38,7 @@ gpg --keyserver hkp://keyserver.ubuntu.com --recv-keys 409B6B1796C275462A1703113
 curl -sSL https://get.rvm.io | bash -s stable
 source ~/.rvm/scripts/rvm
 
-# Install NodeJS (without NVM)
+# Install NodeJS
 curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/master/install.sh | bash
 source ~/.nvm/nvm.sh
 nvm install $node_version