]> git.earman.xyz Git - sensor-watch.git/commitdiff
Merge pull request #218 from TheOnePerson/fix-interval-face-globals
authorjoeycastillo <joeycastillo@utexas.edu>
Sat, 11 Mar 2023 21:05:32 +0000 (16:05 -0500)
committerGitHub <noreply@github.com>
Sat, 11 Mar 2023 21:05:32 +0000 (16:05 -0500)
interval face: make global vars static


Trivial merge