lib/browser/GraphBrowser/ParseError.java
author wenzelm
Thu, 09 Nov 2006 11:58:13 +0100
changeset 21259 63ab016c99ca
parent 13973 9170772bf420
permissions -rw-r--r--
modified less/less_eq syntax to avoid "x < y < z" etc.;

package GraphBrowser;

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