projtool.pl: mark project dirty after HEAD change
commit0810ea4e35423c1991b664038febe7d9e88e92ed
authorKyle J. McKay <mackyle@gmail.com>
Wed, 8 Jul 2020 04:18:06 +0000 (7 21:18 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Wed, 8 Jul 2020 04:18:06 +0000 (7 21:18 -0700)
tree5af0877e09ab3e46b8a08701d5b19322bc6a45a0
parent29afaa5b8c81e09a86654c8b37fdf083f25d564f
projtool.pl: mark project dirty after HEAD change

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
toolbox/projtool.pl