diff options
author | Jakob Odersky <jakob@odersky.com> | 2016-10-24 21:12:21 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2016-10-24 21:12:21 -0700 |
commit | 40bb263bdcb7c5288e244e2f202b24f31fa3cc6f (patch) | |
tree | 30a74454933f07ffcd1e2b6076c27ef6157002b2 | |
parent | 608713d2dadc58e0003ecf38e39f6fecce6e9725 (diff) | |
download | dotfiles-40bb263bdcb7c5288e244e2f202b24f31fa3cc6f.tar.gz dotfiles-40bb263bdcb7c5288e244e2f202b24f31fa3cc6f.tar.bz2 dotfiles-40bb263bdcb7c5288e244e2f202b24f31fa3cc6f.zip |
add global gitignore
-rw-r--r-- | home/.gitconfig | 1 | ||||
-rw-r--r-- | home/.gitignore_global | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/home/.gitconfig b/home/.gitconfig index 0b52271..82b334b 100644 --- a/home/.gitconfig +++ b/home/.gitconfig @@ -13,3 +13,4 @@ default = simple [core] editor = emacs -nw + excludesfile = ~/.gitignore_global diff --git a/home/.gitignore_global b/home/.gitignore_global new file mode 100644 index 0000000..1b6f7c2 --- /dev/null +++ b/home/.gitignore_global @@ -0,0 +1,2 @@ +.ensime_cache/ +.ensime
\ No newline at end of file |