From a085f45bd1e8192b4f21d92695b1d6c1152603cb Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Wed, 20 Oct 2021 12:44:02 +0200
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)

---
 doc.zih.tu-dresden.de/docs/software/virtual_machines_tools.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc.zih.tu-dresden.de/docs/software/virtual_machines_tools.md b/doc.zih.tu-dresden.de/docs/software/virtual_machines_tools.md
index 9be892d59..b66eeaeec 100644
--- a/doc.zih.tu-dresden.de/docs/software/virtual_machines_tools.md
+++ b/doc.zih.tu-dresden.de/docs/software/virtual_machines_tools.md
@@ -78,7 +78,7 @@ the VM controlled by the `--tmp-size` parameter.
 
 **Read here if you have problems like "File not found".**
 
-As the build starts in a VM you may not have access to all your files.  It is usually bad practice
+As the build starts in a VM, you may not have access to all your files. It is usually bad practice
 to refer to local files from inside a definition file anyway as this reduces reproducibility.
 However common directories are available by default. For others, care must be taken. In short:
 
-- 
GitLab