diff --git a/.hermit b/.hermit new file mode 100644 index 0000000..c1e4a6f --- /dev/null +++ b/.hermit @@ -0,0 +1,3 @@ +# Use this to mark that you need the latest HERMIT repo, by using the md5 key of the last checkin. +# This does nothing, except force a rebuild when checked in. +c65499301b1f822d072c7605f85107084bc39df6