Add Camino undirected edge protocol

2026-07-14 22:36:14 -07:00
parent 5587511713
commit ea153c3cd7
6 changed files with 21 additions and 3 deletions
@@ -64,6 +64,7 @@ message EdgeOptions {
  EdgeEndpointOptions other_endpoint = 6;
  repeated SymbolRef tag = 7;
  repeated SymbolRef implements = 8;
+  bool undirected = 9;
 }

 message EdgeEndpointOptions {