diff options
author | Eric Wong <e@80x24.org> | 2021-03-19 07:21:03 +0300 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-03-19 06:08:24 +0000 |
commit | 1b142ba979457590e00245350bf1c3c5b9067f6f (patch) | |
tree | 9fd9f615a6c846bee13060c4fd686b2f54e0bbda | |
parent | 1513da46d7aadadac28a0bda0d6dc5bf841dcccf (diff) | |
download | public-inbox-1b142ba979457590e00245350bf1c3c5b9067f6f.tar.gz |
Oops :x
-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> |