diff options
| author | pommicket <pommicket@gmail.com> | 2025-09-13 23:33:25 -0400 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2025-09-13 23:33:25 -0400 |
| commit | 31f73013616593eb50ef205285c9c98a831efdde (patch) | |
| tree | 494ac4685cb563fa4fb7de158a71151ed7ff99d4 | |
| parent | 1fd2aa61e093301363c3828bce149c616bc531c2 (diff) | |
Remove note about extensions from the spec
| -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 |