diff --git a/compiler/git_id b/compiler/git_id new file mode 100644 index 00000000..e1aa211f --- /dev/null +++ b/compiler/git_id @@ -0,0 +1 @@ +468eb9a4a038201c2b0004fe6e4ae9b2d37fdd57