]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 22:55:05 +0000 (23:55 +0100) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Mon, 21 Feb 2022 22:55:05 +0000 (23:55 +0100) | ||
| commit | 5ef668850a3e0ca2270f43be04aef188e77c9add | |
| tree | 9dc7f93accfba5c0f208b21149dbb25919a88baf | tree | snapshot |
| parent | 7c8aab25f3702bfe9929c1b8cfe9bf4b3db2e7fb | commit | diff |
| doc/notes.txt | diff | blob | blame | history |