summaryrefslogtreecommitdiff
path: root/site
diff options
context:
space:
mode:
Diffstat (limited to 'site')
-rw-r--r--site/spec.html3
1 files changed, 2 insertions, 1 deletions
diff --git a/site/spec.html b/site/spec.html
index 481a32f..12e19e6 100644
--- a/site/spec.html
+++ b/site/spec.html
@@ -538,7 +538,8 @@ time = 35 min
<li>
<code>unread_keys(conf: Configuration) -&gt; List&lt;String&gt;</code><br>
Returns a list of all keys which have not been the target of a <code>get</code> / <code>get_*</code>
- call, either directly or through a section obtained from the <code>section</code> function,
+ call (does <em>not</em> include <code>has</code>),
+ either directly or through a section obtained from the <code>section</code> function,
in an arbitrary order.
When configurations are merged, the gotten-ness of the values is preserved.
Whether or not getting values from the merged configuration affects the original configurations’