From f865e661819879c80603108302eead7d5b972576 Mon Sep 17 00:00:00 2001
From: Matt Guthaus <mrg@ucsc.edu>
Date: Mon, 25 Feb 2019 16:47:38 -0800
Subject: [PATCH] Remove git_id file

---
 compiler/git_id | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 compiler/git_id

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