From 3e6c11dfa96ea6832be994f650ed9fdd69359f80 Mon Sep 17 00:00:00 2001 From: William Van Woensel Date: Tue, 3 Jan 2023 16:05:40 -0500 Subject: [PATCH] add editor-cmd --- src/main/java/org/apache/jen3/cmd/EditorCmd.java | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/main/java/org/apache/jen3/cmd/EditorCmd.java b/src/main/java/org/apache/jen3/cmd/EditorCmd.java index e4aa46b..0abcdc1 100644 --- a/src/main/java/org/apache/jen3/cmd/EditorCmd.java +++ b/src/main/java/org/apache/jen3/cmd/EditorCmd.java @@ -25,9 +25,6 @@ public class EditorCmd { - // example: - // -n3 /Users/wvw/git/expl/jen3-explain/src/main/resources/proofs/swap/diabetes_case1.ttl -explain -folder /Users/wvw/git/n3/n3-editor-js/lib/jen3 - public static void main(String[] args) throws Exception { Options options = new Options(); options.addOption(Option.builder("n3").argName("n3").hasArg().desc("input N3 code")