descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerKai Moritz
last changeSat, 15 Aug 2020 16:18:48 +0000 (18:18 +0200)
shortlog
2020-08-15 Kai MoritzExplicitly record the generated serialization in a... master
2020-08-15 Kai MoritzInitial Version
heads
15 months ago master