]> rtime.felk.cvut.cz Git - hercules2020/hercules-compiler.git/history - debian/patches/use_gpuguard.patch
Remove use_gpuguard.patch since GPUGUARD is now disabled by default
[hercules2020/hercules-compiler.git] / debian / patches / use_gpuguard.patch
2018-11-22 Kreiliger, FlavioRemove use_gpuguard.patch since GPUGUARD is now disable...
2018-11-20 Kreiliger, FlavioUse Makefile configuration