diff options
Diffstat (limited to 'spec/dir-spec/computing-microdescriptors.md')
| -rw-r--r-- | spec/dir-spec/computing-microdescriptors.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/dir-spec/computing-microdescriptors.md b/spec/dir-spec/computing-microdescriptors.md index 5270ffa..bca4eb1 100644 --- a/spec/dir-spec/computing-microdescriptors.md +++ b/spec/dir-spec/computing-microdescriptors.md @@ -1,6 +1,6 @@ <a id="dir-spec.txt-3.3"></a> -## Computing microdescriptors +# Computing microdescriptors Microdescriptors are a stripped-down version of server descriptors generated by the directory authorities which may additionally contain |