]> git.earman.xyz Git - sensor-watch.git/commitdiff
Merge branch 'parallelize-builds' of https://github.com/GeorgeHahn/Sensor-Watch
authorJoey Castillo <joeycastillo@utexas.edu>
Sun, 22 May 2022 23:46:43 +0000 (19:46 -0400)
committerJoey Castillo <joeycastillo@utexas.edu>
Sun, 22 May 2022 23:46:43 +0000 (19:46 -0400)

Trivial merge