diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..c4e37c8e4 --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +0188e7a49470dab83061a3b972739d361dc02690