tool path is changed
Merge pull request #2 from chiniwarvinay/master

tool path is changed
First commit
Merge branch 'master' of https://github.com/jo244305wipro/RiCRiPInt
second commit
Merge branch 'master' of https://github.com/jo244305wipro/RiCRiPInt
testing
this file to be included
Merge branch 'master' of https://github.com/jo244305wipro/RiCRiPInt
a file
Merge branch 'test_git' of https://github.com/jo244305wipro/RiCRiPInt
two changes
Merge branch 'master' of https://github.com/jo244305wipro/RiCRiPInt