diff options
author | Norbert Preining <norbert@preining.info> | 2023-03-10 03:04:05 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-03-10 03:04:05 +0000 |
commit | f6cb3d263826846efe7b926e6ad2092198db0522 (patch) | |
tree | 16abd399e7b120d3c3ac7d75efc4d04cf7bb022f /macros/latex-dev/base/lamport-manual.pdf | |
parent | 716c428e47ad2e893c0f970b9fa866d2a88f00e4 (diff) |
CTAN sync 202303100304
Diffstat (limited to 'macros/latex-dev/base/lamport-manual.pdf')
-rw-r--r-- | macros/latex-dev/base/lamport-manual.pdf | bin | 170878 -> 170874 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/macros/latex-dev/base/lamport-manual.pdf b/macros/latex-dev/base/lamport-manual.pdf Binary files differindex e0895befef..14ffd31d47 100644 --- a/macros/latex-dev/base/lamport-manual.pdf +++ b/macros/latex-dev/base/lamport-manual.pdf |