]> rtime.felk.cvut.cz Git - orte.git/history - debian/docs
Merge branch 'master' of https://github.com/Vajnar/orte
[orte.git] / debian / docs
2014-03-16 Michal SojkaInitial version of Debian packaging