diff options
author | Andreas Maunz <andreas@maunz.de> | 2011-05-24 12:37:40 +0200 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2011-05-24 12:37:40 +0200 |
commit | 087b0c626572be7a1c1697b0c35b31f898fe8f66 (patch) | |
tree | 5b202b410ad65a023c7cfd96c01600ffc930a7c2 | |
parent | f4ea11423d9f24428d9aae6c372b7cf3d9e5034d (diff) |
Exec flag set
-rwxr-xr-x[-rw-r--r--] | environment_update.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/environment_update.sh b/environment_update.sh index d0beae4..d0beae4 100644..100755 --- a/environment_update.sh +++ b/environment_update.sh |