]> git.earman.xyz Git - sensor-watch.git/commitdiff
Merge pull request #86 from michaelgruenewald/patch-1
authorjoeycastillo <joeycastillo@utexas.edu>
Sun, 9 Oct 2022 00:56:26 +0000 (19:56 -0500)
committerGitHub <noreply@github.com>
Sun, 9 Oct 2022 00:56:26 +0000 (19:56 -0500)
Fix changed files detection in Make


Trivial merge