From 39137f6d0b45fafccbbc3e702bf33503f4a7a84a Mon Sep 17 00:00:00 2001
From: Antonio De Lucreziis <antonio.delucreziis@gmail.com>
Date: Sat, 8 Feb 2025 19:34:06 +0100
Subject: [PATCH] some docs

---
 docker-compose.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker-compose.yml b/docker-compose.yml
index 4a6337a..fe849f5 100644
--- a/docker-compose.yml
+++ b/docker-compose.yml
@@ -1,7 +1,7 @@
 services:
   lean4game:
     build: .
-    privileged: true
+    privileged: true # needed to run bubblewrap inside docker
     environment:
       - LEAN4GAME_GITHUB_USER=${LEAN4GAME_GITHUB_USER}
       - LEAN4GAME_GITHUB_TOKEN=${LEAN4GAME_GITHUB_TOKEN}