]>
| author | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 29 Apr 2022 06:14:27 +0000 (08:14 +0200) | ||
| committer | Thomas Glanzmann <thomas@glanzmann.de> | |
| Fri, 29 Apr 2022 06:14:27 +0000 (08:14 +0200) | ||
| commit | 89dc4b590bb5df8596da3858f3e5c7c88417a703 | |
| tree | 87f718ffcbe4c0d79cba34005a5cc422d720d6e5 | tree | snapshot |
| parent | ca8ffc28e70dab11ba0e4e35c02ba71d3cc0bd69 | commit | diff |
| doc/notes.txt | diff | blob | blame | history |