Add .gitignore to omit benchmark_* ROs from git repo
Merge branch 'develop' of github.com:wf4ever/ro-manager into develop