Renamed all diagram extensions to .drawio

2026-01-06 21:33:50 -05:00 · 2023-07-31 10:58:55 +02:00
parent bc85c96bd4
commit 5d7b5850b6
7 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+.DS_Store
--- a/diagrams/client-state-diagram.drawio
+++ b/diagrams/client-state-diagram.drawio
--- a/diagrams/crate_structure.drawio
+++ b/diagrams/crate_structure.drawio
--- a/diagrams/key_exchange.drawio
+++ b/diagrams/key_exchange.drawio
--- a/diagrams/overview.drawio
+++ b/diagrams/overview.drawio
--- a/diagrams/protocol.drawio
+++ b/diagrams/protocol.drawio
--- a/diagrams/transcript.drawio
+++ b/diagrams/transcript.drawio