]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 07:58:55 +0000 (08:58 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 07:58:55 +0000 (08:58 +0100) | ||
| commit | c3d375cc6da80806f7040e82c94f976d0e2b5785 | |
| tree | 64ce6a875727ae2e076493c0e2dcaecb64267085 | tree | snapshot |
| parent | 6b9ae9945d12d1f049e3ae7d8d4491a90dc18c8e | commit | diff |
| parent | f91e9d163bf5db64fd2148de4b8f05cdaa0a8ffc | commit | diff |
| doc/notes.txt | diff1 | | diff2 | | blob | history |