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