lib/browser/GraphBrowser/ParseError.java
changeset 13973 9170772bf420
equal deleted inserted replaced
13972:fac2aa7618ed 13973:9170772bf420
       
     1 package GraphBrowser;
       
     2 
       
     3 class ParseError extends Exception {
       
     4 	public ParseError(String s) { super(s); }
       
     5 }