Skip to content
Snippets Groups Projects
Select Git revision
  • 3aae0bb6797ccb0d607ddea0a924caeea512bee8
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
21 results

TLA2BIOException.java

Blame
  • 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);
    	}
    }