]> git.earman.xyz Git - sensor-watch.git/commitdiff
Merge pull request #253 from Kistelini/counter
authorJose Castillo <joeycastillo@utexas.edu>
Sat, 29 Jul 2023 11:48:16 +0000 (07:48 -0400)
committerGitHub <noreply@github.com>
Sat, 29 Jul 2023 11:48:16 +0000 (07:48 -0400)
Counter face: change sound to non-blocking, add option to deactivate sound


Trivial merge