Skip to content

Commit 7807e29

Browse files
author
Martin Hentschel
committed
Eclipse projects: Updated license headers
1 parent b020bad commit 7807e29

File tree

1,540 files changed

+1578
-1578
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,540 files changed

+1578
-1578
lines changed

‎projects/FileHeaderModifier/src/FileHeaderModifier/data/ProjectsHeader.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

‎projects/FileHeaderModifier/src/FileHeaderModifier/src/FileHeaderChecker.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

‎projects/FileHeaderModifier/src/FileHeaderModifier/src/FileHeaderModifier.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

‎projects/FileHeaderModifier/src/FileHeaderModifier/src/util/IOUtil.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

‎projects/FileHeaderModifier/src/FileHeaderModifier/src/util/StringUtil.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

‎projects/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/Activator.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

‎projects/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/composite/StrategySettingsComposite.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

‎projects/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/decorator/ProofSourceViewerDecorator.java‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials
@@ -329,4 +329,4 @@ protected void initializeValuesForHover(){
329329
public PosInSequent getSelectedPosInSequent() {
330330
return selectedPosInSequent;
331331
}
332-
}
332+
}

‎projects/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/dialog/ContractSelectionDialog.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

‎projects/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/expression/FileStarterAvailablePropertyTester.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*******************************************************************************
2-
* Copyright (c) 2013 Karlsruhe Institute of Technology, Germany
2+
* Copyright (c) 2014 Karlsruhe Institute of Technology, Germany
33
* Technical University Darmstadt, Germany
44
* Chalmers University of Technology, Sweden
55
* All rights reserved. This program and the accompanying materials

0 commit comments

Comments
 (0)