description | Unnamed repository; edit this file 'description' to name the repository. |
owner | Kai Moritz |
last change | Sat, 15 Aug 2020 16:18:48 +0000 (18:18 +0200) |
2020-08-15 | Kai Moritz | Explicitly record the generated serialization in a... master | commit | commitdiff | tree | snapshot |
2020-08-15 | Kai Moritz | Initial Version | commit | commitdiff | tree | snapshot |
4 years ago | master | shortlog | log | tree |