diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..214e74016 --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +1ec2cd60873d0035ad23803414d23c3636b40be1