diff --git a/GITSHA b/GITSHA new file mode 100644 index 00000000..65f64fc6 --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +a7c56eca09a34d4d2b6f840288cae0a72eb00e81