]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 07:58:24 +0000 (08:58 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 07:58:24 +0000 (08:58 +0100) | ||
| commit | 6b9ae9945d12d1f049e3ae7d8d4491a90dc18c8e | |
| tree | d33dcc03f68d20ae9e5c2c69e91e6446195ebd70 | tree | snapshot |
| parent | 3b184c545c57f3d3244cda466a4bc4c19b6e81eb | commit | diff |
| doc/notes.txt | diff | blob | blame | history |