diff options
| -rw-r--r-- | site/spec.html | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/site/spec.html b/site/spec.html index 158c48a..2678d6f 100644 --- a/site/spec.html +++ b/site/spec.html @@ -404,14 +404,6 @@ time = 35 min be merged into the global configuration). </p> -<h2>Extensions</h2> -<p> - If needed for a particular domain, an parser may accept an extended form of the POM syntax. - Ideally, extensions should use lines containing invalid key characters (e.g. <code>!&%</code>) - before the <code>=</code> (if any) - so that there is no ambiguity, and the file cannot be parsed without the extension. -</p> - <h2>API recommendations</h2> <p> The following functions are (lightly) recommended |