diff options
| author | Kai Hildebrandt <kai@derhil.de> | 2018-10-08 16:14:30 +0200 |
|---|---|---|
| committer | Kai Hildebrandt <kai@derhil.de> | 2018-10-08 16:17:20 +0200 |
| commit | ec9669e96d201e3bcf80f081e1af781773b52032 (patch) | |
| tree | 88ea70537f0ccc08eb13c76e87b38e4844b370e0 /bash_profile | |
| parent | d7a9c1bf53a2d7cdc6fe66fdb7574543cffabfa2 (diff) | |
changed file permissions
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 |