dotfiles

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 40bcb4aa615282af689bfd22d0cf117b62a5b1c0
parent a9ad13f122a52a65cca1c385e9e8124e2fc4c040
Author: Janis Pagel <janis.pagel@ims.uni-stuttgart.de>
Date:   Thu, 12 Jul 2018 01:56:38 +0200

Add git alias

Diffstat:
Mzsh/zsh_aliases | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/zsh/zsh_aliases b/zsh/zsh_aliases @@ -101,3 +101,4 @@ alias gita='git add' alias gitps='git push' alias gitpl='git pull' alias gitl='git log' +alias gitd='git diff'