diff options
author | Jakob Odersky <jakob@driver.xyz> | 2018-06-29 17:56:06 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2018-07-02 20:16:09 -0700 |
commit | fc21d41f477c35ad1a2ea4c29258c2e55ef237e3 (patch) | |
tree | 9beb3455c36b3521e1fcc566406ab86a12f86e9c /home/.gitignore_global | |
parent | e457afccd30530153d075d0bbb41078fcecef669 (diff) | |
download | dotfiles-fc21d41f477c35ad1a2ea4c29258c2e55ef237e3.tar.gz dotfiles-fc21d41f477c35ad1a2ea4c29258c2e55ef237e3.tar.bz2 dotfiles-fc21d41f477c35ad1a2ea4c29258c2e55ef237e3.zip |
Git and i3 tweaks
Diffstat (limited to 'home/.gitignore_global')
-rw-r--r-- | home/.gitignore_global | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/home/.gitignore_global b/home/.gitignore_global index 6293962..ac8c11a 100644 --- a/home/.gitignore_global +++ b/home/.gitignore_global @@ -1,3 +1,4 @@ +.bloop/ .ensime_cache/ .ensime .idea/ |