?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
LanguageTool: don't crash if REST protocol isn't set
[LibreOffice.git] / distro-configs / Jenkins / linux_random.conf
blobdbfb76bf1e7b3046799d2c8fc2debf3a92d87469
1 --enable-fuzz-options
2 --with-jdk-home=/etc/alternatives/java_sdk_11
3 --enable-odk
FREE OFFICE SUITE