lib/browser/GraphBrowser/ParseError.java
author huffman
Sat, 12 Nov 2011 13:01:56 +0100
changeset 45475 b2b087c20e45
parent 13973 9170772bf420
permissions -rw-r--r--
removed some old-style semicolons

package GraphBrowser;

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