]> mj.ucw.cz Git - eval.git/history - configure
Polished configuration scripts.
[eval.git] / configure
2008-05-15 Martin MaresAdded a trivial configure script.