]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 18 Mar 2022 16:27:37 +0000 (17:27 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 18 Mar 2022 16:27:37 +0000 (17:27 +0100) | ||
| commit | facdeb6d8eddc08d2e3d279fbdd0ebae493c7d7f | |
| tree | 2e425ecfc5866d7aa44bb277ee1a1fb26daaa1bf | tree | snapshot |
| parent | ab29a9ca349685408f369e0b636083c258fb09da | commit | diff |
| doc/notes.txt | diff | blob | blame | history |