diff options
| author | Jakob Odersky <jakob@odersky.com> | 2019-03-28 15:15:56 -0400 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2019-03-28 15:15:56 -0400 |
| commit | 396153a7144b6fad2742fcbcb5d91fcd7016061d (patch) | |
| tree | b14db0714f0d2176c4561c298eafbdb876a640ec | |
| parent | 9096639caa088ffbfa13095b8d593d914553f369 (diff) | |
| download | dotfiles-396153a7144b6fad2742fcbcb5d91fcd7016061d.tar.gz dotfiles-396153a7144b6fad2742fcbcb5d91fcd7016061d.tar.bz2 dotfiles-396153a7144b6fad2742fcbcb5d91fcd7016061d.zip | |
Update gitconfig
| -rw-r--r-- | home/.gitconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/.gitconfig b/home/.gitconfig index 2d1247f..c940178 100644 --- a/home/.gitconfig +++ b/home/.gitconfig @@ -20,5 +20,5 @@ helper = "!f() { echo password=$(pass sites/apache.org); }; f" [github] user = jodersky -[includeIf "gitdir:~/src/inpher/"] +[includeIf "gitdir:~/src/"] path = .gitconfig_inpher |