From 90669a5fb3178025d38258616194f91812b02764 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian@dold.me>
Date: Mon, 4 Sep 2023 18:59:33 +0200
Subject: various doc fixes

---
 reserve.dot | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 reserve.dot

(limited to 'reserve.dot')

diff --git a/reserve.dot b/reserve.dot
deleted file mode 100644
index af6e3e86..00000000
--- a/reserve.dot
+++ /dev/null
@@ -1,14 +0,0 @@
-digraph Reserve {
-
-  filled [color=blue, label="filled reserve", shape="box"];
-  drained [color=blue, label="drained reserve", shape="doublecircle"];
-
-  transfer->filled;
-  recoup->filled;
-  filled->withdraw;
-  withdraw->drained;
-  withdraw->filled;
-  filled->close;
-  close->drained;
-  drained->recoup;
-}
-- 
cgit v1.2.3