Hans Mündelein b5f722f1cb Disentangle conflicting proto versions ... We diverged in working on the proto definition, which should now be resolved.		2023-05-22 11:02:42 +02:00
..
lib.rs	Disentangle conflicting proto versions	2023-05-22 11:02:42 +02:00
proto.rs	Follow some guidelines for proto notation	2023-05-21 13:47:07 +02:00