]>
author | Hendrik Jäger <gitcommit@henk.geekmail.org> | |
Sun, 8 Oct 2023 07:40:39 +0000 (09:40 +0200) | ||
committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | |
Sun, 8 Oct 2023 07:40:39 +0000 (09:40 +0200) | ||
commit | 7855a72558e7a2bb6cc8588337582752054fcf29 | |
tree | b9e7285d5dcf7115ec786a3d32ce403445a643bf | tree | snapshot |
parent | ea6f942f9a03f542e1c91da75ebb1fdcb3b12496 | commit | diff |
desiderata_minibook.tex | diff | blob | history | |
desiderata_minibook_de.tex | diff | blob | history |