From 20b44db2843e280474a45665f2584f9130eb686b Mon Sep 17 00:00:00 2001
From: Raimo Niskanen
Date: Fri, 15 Apr 2016 10:40:00 +0200
Subject: Use .png pictures instead of .gif
---
system/doc/design_principles/statem.xml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'system/doc/design_principles/statem.xml')
diff --git a/system/doc/design_principles/statem.xml b/system/doc/design_principles/statem.xml
index c10afe482d..65daeac782 100644
--- a/system/doc/design_principles/statem.xml
+++ b/system/doc/design_principles/statem.xml
@@ -136,7 +136,7 @@ handle_event(EventType, EventContent, State, Data) ->
it is is wrong, we start all over,
waiting for a new button sequence.
-
+
Code lock state diagram
@@ -934,7 +934,7 @@ enter(Tag, State, Data) ->
and some more utilizing the entry actions,
which deserves a new state diagram:
-
+
Code lock state diagram revisited
--
cgit v1.2.3