deploy: 1132f09

jlesquembre · Sep 9, 2024 · bc54977 · bc54977
1 parent 64f6400
commit bc54977
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/options/index.html b/options/index.html
@@ -1174,7 +1174,7 @@ <h2 id="jdk">jdk</h2>
 <h2 id="lockfile">lockfile</h2>
 <p>The lock file</p>
 <p><em>Type:</em>
-null or string</p>
+null or path</p>
 <p><em>Default:</em>
 <code>null</code></p>
 <p><em>Declared by:</em>