lib/browser/GraphBrowser/ParseError.java
author wenzelm
Thu, 28 Oct 2010 15:06:47 +0200
changeset 40156 ac648bedd5dc
parent 13973 9170772bf420
permissions -rw-r--r--
back again to non-Apple font rendering (cf. 4977324373f2);

package GraphBrowser;

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