Select Git revision
TLA2BIOException.java
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
TLA2BIOException.java 169 B
package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class TLA2BIOException extends TLA2BException {
public TLA2BIOException(String e){
super(e);
}
}