]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 18 Feb 2022 15:36:15 +0000 (16:36 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 18 Feb 2022 15:36:15 +0000 (16:36 +0100) | ||
| commit | 0bfb4169555cee1095a431f26ff4aee50b134aa6 | |
| tree | 6fce377dedeea44f40959e180438ad539264e705 | tree | snapshot |
| parent | 7af338e8f259b77b45e7ca0d1d4ddb318092d3a7 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |