diff --git a/options.xhtml b/options.xhtml index 1a8ac6555..9bae4a932 100644 --- a/options.xhtml +++ b/options.xhtml @@ -51522,6 +51522,9 @@ null or package
Type: attribute set of (submodule)
+Default:
+{ }
Declared by:
|
@@ -51538,8 +51541,11 @@ attribute set of (submodule)
Whether this is a default library. There must be exactly one -default library. +Whether this is a default library. For papis to function without explicit library selection
+(i.e. without Note this can be also defined (or overridden) on a local
+ Type: boolean |