diff options
author | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:34:12 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:34:12 -0700 |
commit | 06a4f4351d05cbcf76dabf62174c8a991e4ecb67 (patch) | |
tree | fb2dc371a7e53b9e4d8e56fbe7e50ce60a6976fc /home/.gitconfig_driver | |
parent | 9b04133d58f74dee9413e7c8e3dc86be901a1620 (diff) | |
download | dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.tar.gz dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.tar.bz2 dotfiles-06a4f4351d05cbcf76dabf62174c8a991e4ecb67.zip |
Remove git configuration for Driver projects
Diffstat (limited to 'home/.gitconfig_driver')
-rw-r--r-- | home/.gitconfig_driver | 2 |
1 files changed, 0 insertions, 2 deletions
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 |