author | Mart Lubbers <mart@martlubbers.net> | |
Thu, 21 Sep 2023 07:36:43 +0000 (09:36 +0200) | ||
committer | Mart Lubbers <mart@martlubbers.net> | |
Thu, 21 Sep 2023 07:36:50 +0000 (09:36 +0200) |
img/ru.eps | [moved from ru.eps with 100% similarity] | patch | blob | history |
talk.tex | patch | blob | history |