Trying out settings

cryptimeleon · Jun 21, 2023 · 5e3ee17 · 5e3ee17
1 parent 58015e1
commit 5e3ee17
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -21,7 +21,7 @@
 		"vscode": {
 			"settings": {},
 			"extensions": [
-				"streetsidesoftware.code-spell-checker"
+				//"streetsidesoftware.code-spell-checker"
 			]
 		}
 	}

diff --git a/build.gradle b/build.gradle
@@ -13,7 +13,7 @@ dependencies {
     testImplementation 'org.junit.jupiter:junit-jupiter-api:5.7.0'
     testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.7.0'
     implementation 'org.cryptimeleon:math:3.+'
-    implementation 'org.cryptimeleon:craco:3.+'
+    implementation 'org.cryptimeleon:craco:4.+'
 }
 
 test {

diff --git a/src/main/java/PointchevalSandersExampleCode.java b/src/main/java/PointchevalSandersExampleCode.java
@@ -63,4 +63,8 @@ public static void doComputations() {
         }
         System.out.println("Done!");
     }
+
+    public static void main(String[] args) {
+        doComputations();
+    }
 }