From 71cc0f73645b8ac99add3a295434710d7051530e Mon Sep 17 00:00:00 2001 From: Jean Sirmai Date: Wed, 10 Jan 2024 10:56:16 +0100 Subject: [PATCH] L I B R A R Y + R U L E S + W O R L D --- src/ui/gemgraph.ui | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ui/gemgraph.ui b/src/ui/gemgraph.ui index 9682a8c..07481f0 100644 --- a/src/ui/gemgraph.ui +++ b/src/ui/gemgraph.ui @@ -76,7 +76,7 @@ runlib_objects - Local States + Library True @@ -88,7 +88,7 @@ runlib_conditions_and_rules - Transition Rules + Rules True @@ -104,7 +104,7 @@ runlib_states - Global State + World True