From 16615617f1b2f8b749a14f5caef8e3a1166ddb04 Mon Sep 17 00:00:00 2001
From: rycee
Date: Sun, 28 Jul 2024 21:01:46 +0000
Subject: [PATCH] deploy: a11cfcd0a18fdf6257808da631a956800af764bf
---
options.xhtml | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/options.xhtml b/options.xhtml
index 544c8493f..1afb3d261 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -32637,6 +32637,30 @@ boolean
Example:
true
+Declared by:
+
+
+
+
+ programs.micro.package
+
+
+
+
+The micro package to use.
+
+Type:
+package
+
+Default:
+pkgs.micro
+
Declared by: