]> rtime.felk.cvut.cz Git - hercules2020/hercules-compiler.git/history - debian/patches/configure-herculescompiler-via-cmake.patch
Configure HerculesCompiler via CMake rather than by editing Options.h
[hercules2020/hercules-compiler.git] / debian / patches / configure-herculescompiler-via-cmake.patch
2018-11-20 Michal SojkaConfigure HerculesCompiler via CMake rather than by...