lib/browser/GraphBrowser/ParseError.java
author haftmann
Thu, 08 Sep 2011 00:35:22 +0200
changeset 44838 096ec174be5d
parent 13973 9170772bf420
permissions -rw-r--r--
merged

package GraphBrowser;

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