commit just before version change (prox 8.0.0)
commit just before version change (prox 8.0.0)
Merge branch 'master' of github.com:BashGui/easybashgui

A commit before version 8.0.0 upgrade (by vaisarger)