Evaluated rename +agenda old+agenda

2020-10-07 16:21:49 +02:00
parent b955c7a57d
commit 05706630ea
2 changed files with 2 additions and 0 deletions
--- a/procs/d8eb095fe42bb7e4a3daa9d4831b99407a9b9664
+++ b/procs/d8eb095fe42bb7e4a3daa9d4831b99407a9b9664
@ -0,0 +1 @@
+{who args} { set w [string tolower $who]; if {[info exists ::agenda($w)] != 1} {set ::agenda($who) {}}; set ::agenda($who) [uniq [lappend  ::agenda($who) [args]]]; . Added $args to $who}
				`@ -0,0 +1 @@`
				`{who args} { set w [string tolower $who]; if {[info exists ::agenda($w)] != 1} {set ::agenda($who) {}}; set ::agenda($who) [uniq [lappend ::agenda($who) [args]]]; . Added $args to $who}`