]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 20 Feb 2022 19:49:52 +0000 (20:49 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Sun, 20 Feb 2022 19:49:52 +0000 (20:49 +0100) | ||
| commit | b04a3052e3a825e60b718f53008b41fd83ae942d | |
| tree | 1e26e05a6dbfcc08476dbb1db959d84f6eb7651b | tree | snapshot |
| parent | 1dd4fa206b95eea9d3e45a375de28dfddd00f595 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |