Skip to content
Snippets Groups Projects
Select Git revision
  • c488983e798f0fa53992b223334cfbc516d5ba16
  • main default protected
  • devel2
  • release
  • devel
5 results

DiNeROSNet.pnml

Blame
  • gradle.properties 138 B
    org.gradle.daemon=true
    # Fixes "handshake alert:  unrecognized_name" error in Java 7.
    org.gradle.jvmargs=-Djsse.enableSNIExtension=false