From: joeycastillo <joeycastillo@utexas.edu>
Date: Sun, 9 Oct 2022 00:56:26 +0000 (-0500)
Subject: Merge pull request #86 from michaelgruenewald/patch-1
X-Git-Url: https://git.earman.xyz/?a=commitdiff_plain;h=33dec21cf1cb0ebd340e8d42253611540ca29b7c;p=sensor-watch.git

Merge pull request #86 from michaelgruenewald/patch-1

Fix changed files detection in Make
---

33dec21cf1cb0ebd340e8d42253611540ca29b7c