| author | François Fleuret <francois@fleuret.org> | |
| Fri, 3 Feb 2023 17:55:26 +0000 (18:55 +0100) | ||
| committer | François Fleuret <francois@fleuret.org> | |
| Fri, 3 Feb 2023 17:55:26 +0000 (18:55 +0100) | ||
| commit | f721e25e1247b285a2834a3da8bd3e178c37bc61 | |
| tree | 182af8a2d5892ce6b78f3a7c28cb9144b917dda2 | tree | snapshot |
| parent | e63cf99d33f2914da5f653885bc1453ba62a4034 | commit | diff |
| dl.tex | diff | blob | history |