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 4991e9e..e2240ae 100644 --- a/spec/dir-spec/nonterminals-server-descriptors.md +++ b/spec/dir-spec/nonterminals-server-descriptors.md @@ -1,6 +1,6 @@ <a id="dir-spec.txt-2.1.3"></a> -### Nonterminals in server descriptors +# Nonterminals in server descriptors ```text nickname ::= between 1 and 19 alphanumeric characters ([A-Za-z0-9]), |