author | Mart Lubbers <mart@martlubbers.net> | |
Tue, 7 Feb 2023 16:06:11 +0000 (17:06 +0100) | ||
committer | Mart Lubbers <mart@martlubbers.net> | |
Tue, 7 Feb 2023 16:06:11 +0000 (17:06 +0100) | ||
commit | c64f2008bd494f9fdb47466337480f36a22daef3 | |
tree | 7bd4204ea9668b8890fbdc833d8f9c3f775478df | tree | snapshot |
parent | 5bc326c89f63bd6eab3e09ddc83006021745e1f2 | commit | diff |
concl/concl.tex | diff | blob | history | |
top/green.tex | diff | blob | history |