Add comments to PATH section in ksh profile
profile didn't need hash-bang
Merge branch 'dev'
Now kshrc moved
Now kshrc moved
FIX: copy right file to .kshrc
FIX: kshrc
Add FindAllHeaderFiles.py
Merge branch 'dev'