]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 23 Mar 2022 05:00:50 +0000 (06:00 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Wed, 23 Mar 2022 05:00:50 +0000 (06:00 +0100) | ||
| commit | f58faba7ee2a9d4799d96c8707aa309ea58aa5b4 | |
| tree | 4bb01354d99dfdcd8b6821aaafd64d5809b566cf | tree | snapshot |
| parent | a636dc48f8cf66822e3e0c941751213ee4216797 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |