From 23105047c4282a8cc0de175053a4d0b6c21fa5ce Mon Sep 17 00:00:00 2001
From: Marcel <34819524+MarcelCoding@users.noreply.github.com>
Date: Mon, 14 Oct 2024 14:41:17 +0200
Subject: [PATCH] Update ixx/src/action/index.rs
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
---
ixx/src/action/index.rs | 1 +
1 file changed, 1 insertion(+)
diff --git a/ixx/src/action/index.rs b/ixx/src/action/index.rs
index fcd27ab..2e20132 100644
--- a/ixx/src/action/index.rs
+++ b/ixx/src/action/index.rs
@@ -39,6 +39,7 @@ pub(crate) fn index(module: IndexModule) -> anyhow::Result<()> {
let options: HashMap<String, option::Option> = serde_json::from_reader(file)?;
for (name, option) in options {
+ // internal options which cannot be hidden when importing existing options.json
if name == "_modules.args" {
continue;
}