lib/browser/GraphBrowser/ParseError.java
author matichuk <daniel.matichuk@nicta.com.au>
Tue, 12 Jan 2016 11:03:40 +1100
changeset 62135 fcf3bb1b54e1
parent 13973 9170772bf420
permissions -rw-r--r--
remove unused code

package GraphBrowser;

class ParseError extends Exception {
	public ParseError(String s) { super(s); }
}