]> Sergey Matveev's repositories - public-inbox.git/commitdiff
doc: glossary: add missing over/back POD directives
authorEric Wong <e@80x24.org>
Fri, 19 Mar 2021 04:21:03 +0000 (07:21 +0300)
committerEric Wong <e@80x24.org>
Fri, 19 Mar 2021 06:08:24 +0000 (06:08 +0000)
Oops :x

Documentation/public-inbox-glossary.pod

index 10b3f9d667efa5b44baf68f7d24373ea84eca8b7..f17f2d28709a0641b39c7a14d25b5e546dcc02a6 100644 (file)
@@ -15,6 +15,8 @@ tools.
 
 =head1 TERMS
 
 
 =head1 TERMS
 
+=over 8
+
 =item IMAP UID, NNTP article number, on-disk Xapian docid
 
 A sequentially-assigned positive integer.  These integers are per-inbox,
 =item IMAP UID, NNTP article number, on-disk Xapian docid
 
 A sequentially-assigned positive integer.  These integers are per-inbox,
@@ -106,6 +108,8 @@ If no Date: header exists, the time from the Received: header is
 used, and then the current time if neither header exists.
 When mirroring via git, this is the git author time.
 
 used, and then the current time if neither header exists.
 When mirroring via git, this is the git author time.
 
+=back
+
 =head1 COPYRIGHT
 
 Copyright 2021 all contributors L<mailto:meta@public-inbox.org>
 =head1 COPYRIGHT
 
 Copyright 2021 all contributors L<mailto:meta@public-inbox.org>