]> git.earman.xyz Git - sensor-watch.git/commit
fix filename capitalization
authorjoeycastillo <joeycastillo@utexas.edu>
Sun, 9 Jan 2022 01:30:02 +0000 (20:30 -0500)
committerGitHub <noreply@github.com>
Sun, 9 Jan 2022 01:30:02 +0000 (20:30 -0500)
commitd566a68da5f6b0f860acf5133955b702350c2473
tree65e03ec41f40145825d6fa9b125d6b7e7ca939ef
parent496530c85c3848c04fcafa912d11b0f1991777c1
fix filename capitalization
make.mk