about summary refs log tree commit homepage
path: root/Documentation
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2021-03-19 07:21:03 +0300
committerEric Wong <e@80x24.org>2021-03-19 06:08:24 +0000
commit1b142ba979457590e00245350bf1c3c5b9067f6f (patch)
tree9fd9f615a6c846bee13060c4fd686b2f54e0bbda /Documentation
parent1513da46d7aadadac28a0bda0d6dc5bf841dcccf (diff)
downloadpublic-inbox-1b142ba979457590e00245350bf1c3c5b9067f6f.tar.gz
Oops :x
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/public-inbox-glossary.pod4
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>