summaryrefslogtreecommitdiff
path: root/distro-configs/Jenkins/Win64_dev_master.conf
AgeCommit message (Expand)Author
2021-11-18make Jenkins dev builds use --enable-dbgutil, not just debugLuboš Luňák
2021-05-26fix also the Win64 tinderboxesChristian Lohmaier
2021-05-18make --disable-odk the defaultNoel Grandin
2015-08-11prepare conf files for tweaking jenkins from core.git directlyNorbert Thiebaud