author | Mart Lubbers <mart@martlubbers.net> | |
Thu, 2 Feb 2023 19:21:48 +0000 (20:21 +0100) | ||
committer | Mart Lubbers <mart@martlubbers.net> | |
Thu, 2 Feb 2023 19:21:48 +0000 (20:21 +0100) | ||
commit | b2f9108d700a30970f537408e1b5434ea0a9080c | |
tree | 60292948046d397e51296608519b1d4c43c2aaf6 | tree | snapshot |
parent | 915703d7ed46656d04303d248ec0bdbcee87c133 | commit | diff |
top/lang.tex | diff | blob | history |