From 87f647de6321084b12f2a2ae33aa4aa4f71596f4 Mon Sep 17 00:00:00 2001
From: unknown <maximilian.gerhardt@rub.de>
Date: Wed, 14 Jul 2021 22:55:11 +0200
Subject: [PATCH] Minor cleanup

---
 builder/main.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/builder/main.py b/builder/main.py
index 1c2b228..8a15a49 100644
--- a/builder/main.py
+++ b/builder/main.py
@@ -205,6 +205,7 @@ env.Append(
     )
 )
 
+# store function to get infno about filesystems for builder scripts.
 env["fetch_fs_size"] = fetch_fs_size
 
 #