lib/browser/GraphBrowser/ParseError.java
author wenzelm
Mon, 30 Apr 2007 13:33:00 +0200
changeset 22827 7dc27b37f7f7
parent 13973 9170772bf420
permissions -rw-r--r--
removed obsolete get_sg;

package GraphBrowser;

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