From 06a4f4351d05cbcf76dabf62174c8a991e4ecb67 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sat, 20 Oct 2018 17:34:12 -0700
Subject: Remove git configuration for Driver projects

---
 home/.gitconfig_driver | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 home/.gitconfig_driver

(limited to 'home/.gitconfig_driver')

diff --git a/home/.gitconfig_driver b/home/.gitconfig_driver
deleted file mode 100644
index 7032990..0000000
--- a/home/.gitconfig_driver
+++ /dev/null
@@ -1,2 +0,0 @@
-[user]
-	email=jakob@driver.xyz
\ No newline at end of file
-- 
cgit v1.2.3