From 2ddf7bdc606c631ac512068afbf70ff39b3a1d55 Mon Sep 17 00:00:00 2001
From: GitHub Actions
Date: Mon, 7 Jul 2025 11:18:42 +0000
Subject: [PATCH] Deploy PR #998 preview
---
docs-preview-998/options.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs-preview-998/options.html b/docs-preview-998/options.html
index f6d01d48..28aae06b 100644
--- a/docs-preview-998/options.html
+++ b/docs-preview-998/options.html
@@ -19518,7 +19518,7 @@ boolean
package or list of string
Default:
-<derivation nil-unstable-2025-06-16>
+<derivation nil-2025-06-13>
Example:
"[lib.getExe pkgs.jdt-language-server \"-data\" \"~/.cache/jdtls/workspace\"]"