]> rtime.felk.cvut.cz Git - omk.git/history - omk
Always use OMK_*FLAGS instead of *FLAGS
[omk.git] / omk
2009-01-29 Michal SojkaOMK shell alias replaced with a shell script