build.gradle

plugins {
    id 'java'
    id 'org.jetbrains.intellij' version '0.4.16'
}

group 'be.catsandcoding'
version '1.0-SNAPSHOT'

sourceCompatibility = 1.8

repositories {
    mavenCentral()
    maven {
        url "https://maven.repository.redhat.com/ga/"
    }
}

dependencies {
    testCompile group: 'junit', name: 'junit', version: '4.12'
    // https://mvnrepository.com/artifact/org.zeromq/jeromq
    compile group: 'org.zeromq', name: 'jeromq', version: '0.5.2'

    // https://mvnrepository.com/artifact/diff_match_patch/diff_match_patch
    compile group: 'diff_match_patch', name: 'diff_match_patch', version: 'current'



}

// See https://github.com/JetBrains/gradle-intellij-plugin/
intellij {
    version '2019.3.3'
}
patchPluginXml {
    changeNotes """
      Add change notes here.<br>
      <em>most HTML tags may be used</em>"""
}