Ignore thin's process-id file
Merge branch 'master' of https://github.com/pse4/orange-proton into development
Merge branch 'development' of https://github.com/pse4/orange-proton into development
Merge branch 'development' of https://github.com/pse4/orange-proton into development
Merge branch 'development' of https://github.com/pse4/orange-proton into development
fix bug caused by IE