From: Roman Bazalevskiy Date: Wed, 16 Nov 2022 14:05:39 +0000 (+0300) Subject: Formal description X-Git-Url: https://git.rvb.name/esp-clock.git/commitdiff_plain/db62bcceea4a80b5eac31432a11c56518c7fb61f?hp=db62bcceea4a80b5eac31432a11c56518c7fb61f Formal description ---