fix: remove user module

Silverlan · May 4, 2024 · 776f191 · 776f191
1 parent 299d665
commit 776f191
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/build_scripts/user_modules.py b/build_scripts/user_modules.py
@@ -13,8 +13,3 @@
 # add_pragma_module(
 #     name = "pr_opencv"
 # )
-
-
-add_pragma_module(
-     name = "pr_mount_external"
-)