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

ConfigFileErrorException.java

Blame
    • user avatar
    Convert line endings from CRLF to LF
    dgelessus authored 
    Except for gradlew.bat, which needs to have CRLF line endings, because
cmd.exe doesn't understand LF.
    9f4866f4
    History
    user avatar 9f4866f4
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    ConfigFileErrorException.java 184 B 
    package de.tla2b.exceptions;


@SuppressWarnings("serial")
public class ConfigFileErrorException extends TLA2BException{

	public ConfigFileErrorException(String s) {
		super(s);
	}
}