Reverted build file changes

2019-03-15 01:44:51 -06:00
1 parent b5f1590142
commit 0afe995950
@@ -7,7 +7,11 @@ version '1.0'

 sourceCompatibility = 1.8

-
+sonarqube {
+    properties {
+        property "sonar.projectName", 'Parsing and Proofs Utilities'
+    }
+}

 repositories {
    mavenCentral()