diff options
| author | Kai Hildebrandt <kai@derhil.de> | 2020-10-11 16:26:42 +0200 |
|---|---|---|
| committer | Kai Hildebrandt <kai@derhil.de> | 2020-10-11 16:26:42 +0200 |
| commit | 7db5e17c2728c603ed3b2bd3a57f4178678fc753 (patch) | |
| tree | 42bc20848d5a5cf30c5772107eb25bbb1ad7ae0e /bash_profile | |
| parent | a0176f0a943ff89925edf9d21fc4bea7c769e286 (diff) | |
Signed-off-by: Kai Hildebrandt <kai@derhil.de>
Diffstat (limited to 'bash_profile')
| -rw-r--r--[-rwxr-xr-x] | bash_profile | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/bash_profile b/bash_profile index 5545f00..5545f00 100755..100644 --- a/bash_profile +++ b/bash_profile |