Skip to content

Commit

Permalink
add editor-cmd
Browse files Browse the repository at this point in the history
  • Loading branch information
William Van Woensel authored and William Van Woensel committed Jan 3, 2023
1 parent 8086f4e commit 3e6c11d
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/main/java/org/apache/jen3/cmd/EditorCmd.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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")
Expand Down

0 comments on commit 3e6c11d

Please sign in to comment.