diff options
Diffstat (limited to 'spec/dir-spec/nonterminals-server-descriptors.md')
-rw-r--r-- | spec/dir-spec/nonterminals-server-descriptors.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/dir-spec/nonterminals-server-descriptors.md b/spec/dir-spec/nonterminals-server-descriptors.md index 256f759..62298cb 100644 --- a/spec/dir-spec/nonterminals-server-descriptors.md +++ b/spec/dir-spec/nonterminals-server-descriptors.md @@ -1,4 +1,5 @@ <a id="dir-spec.txt-2.1.3"></a> + ### Nonterminals in server descriptors ```text @@ -29,4 +30,3 @@ ip6 ::= an IPv6 address, surrounded by square brackets. num_ip6_bits ::= an integer between 0 and 128 bool ::= "0" | "1" - |