diff options
| -rw-r--r-- | Documentation/public-inbox-glossary.pod | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/public-inbox-glossary.pod b/Documentation/public-inbox-glossary.pod index 10b3f9d6..f17f2d28 100644 --- a/Documentation/public-inbox-glossary.pod +++ b/Documentation/public-inbox-glossary.pod @@ -15,6 +15,8 @@ tools. =head1 TERMS +=over 8 + =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. +=back + =head1 COPYRIGHT Copyright 2021 all contributors L<mailto:meta@public-inbox.org> |