]> rtime.felk.cvut.cz Git - omk.git/history - omk
Merge branch 'master' into devel
[omk.git] / omk
2009-02-19 Michal SojkaMerge branch 'master' into devel devel
2009-01-29 Michal SojkaOMK shell alias replaced with a shell script