]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 18 Feb 2022 14:57:41 +0000 (15:57 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 18 Feb 2022 14:57:41 +0000 (15:57 +0100) | ||
| commit | 7af338e8f259b77b45e7ca0d1d4ddb318092d3a7 | |
| tree | 59089a5567ed8f17708360c2de42e1b9f1b1ef96 | tree | snapshot |
| parent | ae43a6ec466a273a5867834c6e066d7158078d99 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |