]> git.mar77i.info Git - elevator/commit
simplify call_queue and queued_dest and panel_prio into call_queue and panel.pressed
authormar77i <mar77i@protonmail.ch>
Sun, 25 Aug 2024 08:57:57 +0000 (10:57 +0200)
committermar77i <mar77i@protonmail.ch>
Sun, 25 Aug 2024 08:57:57 +0000 (10:57 +0200)
commit8b23120cfce1a0c96556790674deb2483acf0e23
treee90a98e9a2d70f63d8ea3caac84ebed306af94e8
parentab00f0da4d77506c066869b82fb613cb9e4f5959
simplify call_queue and queued_dest and panel_prio into call_queue and panel.pressed
elevator.py