diff options
| author | Eduardo Pedroni <e.pedroni91@gmail.com> | 2019-07-17 13:53:30 +0200 |
|---|---|---|
| committer | Eduardo Pedroni <e.pedroni91@gmail.com> | 2019-07-17 13:53:30 +0200 |
| commit | 27a43e4c139d4d8815fe6bb78d80d60110a371f5 (patch) | |
| tree | f0949ccefb26df182e4b34ade2f59b852e41bddb /.zsh/git-prompt.sh | |
| parent | bc88331cf2bfd1813b0ad3bc9ed21cd6916a3d03 (diff) | |
Added vivado fix to zshenv
Diffstat (limited to '.zsh/git-prompt.sh')
0 files changed, 0 insertions, 0 deletions